CT

Chloe Thompson

Mutual Connections
Loading...
S9-042025-2611506

Send Message

No file chosen
1 Publications
0 Followers
0 Following
0 Questions

👤 About

Skills & Expertise

No skills added yet.

Research Interests

No research interests added yet.

Connect With Me

📚 Publications (1)

Formal Verification of Safety-Critical Control Flow in Distributed Embedded Systems Using Model Checking and Symbolic Executions
Journal: ISCSITR - International Journal of Scientific Research in Information Technology • July 2024
Ensuring the correctness of control flow in distributed embedded systems is vital, particularly in safety-critical domains like automotive, aerospace, and industrial automation....
Formal verification Model checking Symbolic execution Distributed embedded systems Control flow analysis Safety-critical systems Real-time systems Deadlock detection
dd