Synergies among Testing, Verification, and Repair for Concurrent Programs (Dagstuhl Seminar 16201).
Julian DolbyOrna GrumbergPeter MüllerOmer TrippPublished in: Dagstuhl Reports (2016)
Keyphrases
- concurrent programs
- process algebra
- concurrent systems
- model checking
- asynchronous circuits
- formal methods
- concurrent programming
- concurrent processes
- temporal logic
- formal verification
- petri net
- distributed systems
- formal specification
- cloud computing
- real time
- test cases
- symbolic execution
- object oriented
- knowledge base
- artificial intelligence
- machine learning