Reachability analysis of multithreaded software with asynchronous communication.
Ahmed BouajjaniJavier EsparzaStefan SchwoonJan StrejcekPublished in: Software Verification: Infinite-State Model Checking and Static Program Analysis (2006)
Keyphrases
- asynchronous communication
- reachability analysis
- synchronous communication
- model checking
- markov decision processes
- software development
- timed automata
- software systems
- computer systems
- service composition
- incremental algorithms
- real time
- software architecture
- constraint satisfaction problems
- test cases
- real time systems
- user interface
- knowledge base
- decision making