Preface of the special issue on Model Checking of Software - Selected papers of the 20th International SPIN Symposium on Model Checking of Software.
Ezio BartocciC. R. RamakrishnanPublished in: Int. J. Softw. Tools Technol. Transf. (2016)
Keyphrases
- model checking
- special issue
- selected papers
- temporal logic
- formal verification
- formal methods
- reactive systems
- formal specification
- reachability analysis
- temporal properties
- international workshop
- bounded model checking
- timed automata
- process algebra
- computer science
- model checker
- verification method
- symbolic model checking
- automated verification
- computation tree logic
- epistemic logic
- pspace complete
- international journal
- invited talk
- software systems
- transition systems
- asynchronous circuits
- annual conference
- ecml pkdd
- linear temporal logic
- software development
- software architecture
- concurrent systems
- ai edam
- source code
- abstract interpretation
- data mining
- knowledge discovery
- test cases
- modal logic
- data flow