Reachability Analysis of Multithreaded Software with Asynchronous Communication.
Ahmed BouajjaniJavier EsparzaStefan SchwoonJan StrejcekPublished in: FSTTCS (2005)
Keyphrases
- asynchronous communication
- reachability analysis
- synchronous communication
- model checking
- markov decision processes
- software development
- state space
- service composition
- software systems
- timed automata
- video sequences
- test cases
- real time
- multi user
- embedded systems
- artificial intelligence
- user interface
- incremental algorithms
- real time systems
- sufficient conditions
- source code