Towards the Formal Verification of a Distributed Real-Time Automotive System.
Erik EndresChristian A. MüllerAndrey ShadrinSergey TverdyshevPublished in: NASA Formal Methods (2010)
Keyphrases
- formal verification
- real time
- model checking
- distributed environment
- automated verification
- model checker
- multi agent
- distributed systems
- low cost
- control system
- cooperative
- symbolic model checking
- bounded model checking
- multimedia communication
- program slicing
- functional verification
- distributed stream processing
- real time systems
- domain independent