Filetype PDF | Posted on 04 Feb 2023 | 2 years ago
Authentication
digital resources
144x Filetype PDF File size 0.49 MB Source: www.cs.cmu.edu
Model Checking for
Embedded Systems
Edmund Clarke, CMU
st
High-Confidence Embedded Systems Workshop, May 1
Embedded Software verification projects
1. Bridging the gap between legacy code and
formal specification
2. Verification of a real-time operating system
3. Verifying concurrent embedded C programs
4. Certifying compilation with proof-carrying code
More Efficient Model Checking Algorithms
5. Counterexample-Guided Abstraction Refinement for
Hybrid Systems
6. Making Bounded Model Checkingcomplete
1. Bridging the Gap between Legacy
Code and Formal Specification
Daniel Kroening
no reviews yet
Please Login to review.
