Verifying Embedded C Software with Timing Constraints using an Untimed Model Checker
Raimundo S. BarretoLucas C. CordeiroBernd FischerPublished in: CoRR (2011)
Keyphrases
- model checking
- model checker
- timing constraints
- real time systems
- embedded systems
- formal verification
- formal methods
- test suite
- temporal logic
- description language
- embedded devices
- real time databases
- software architecture
- formal specification
- real time database systems
- real time
- active databases
- execution model
- concurrency control
- software systems
- source code
- test cases
- ai planning
- open source
- resource constraints
- software development
- transaction processing
- information systems
- database
- artificial intelligence
- domain independent
- web services
- data streams