Verifying Embedded C Software with Timing Constraints Using an Untimed Bounded Model Checker.
Raimundo S. BarretoLucas C. CordeiroBernd FischerPublished in: SBESC (2011)
Keyphrases
- model checking
- model checker
- timing constraints
- real time systems
- embedded systems
- formal methods
- formal verification
- temporal logic
- embedded devices
- test suite
- real time databases
- software systems
- active databases
- description language
- formal specification
- software architecture
- real time
- petri net
- real time database systems
- concurrency control
- software development
- test cases
- fine grained
- source code
- execution model
- multi agent systems