Reducing Extension Edges of Concurrent Programs for Reachability Analysis.
Cong TianJiaying WangZhenhua DuanLiang ZhaoPublished in: COCOA (2018)
Keyphrases
- reachability analysis
- concurrent programs
- model checking
- process algebra
- markov decision processes
- timed automata
- temporal logic
- incremental algorithms
- concurrent programming
- general purpose
- concurrent processes
- building blocks
- web applications
- real time
- formal specification
- concurrent systems
- response time
- artificial intelligence
- machine learning