Safety verification of asynchronous pushdown systems with shaped stacks.
Jonathan KochemsC.-H. Luke OngPublished in: CoRR (2014)
Keyphrases
- asynchronous circuits
- model checking
- complex systems
- safety analysis
- intelligent systems
- asynchronous communication
- database systems
- safety critical
- building blocks
- intelligent vehicles
- formal methods
- computing systems
- data mining
- software engineering
- management system
- wireless sensor networks
- decision making
- artificial intelligence
- machine learning