Keyphrases
- model checking
- abstract interpretation
- united kingdom
- lecture notes
- united states
- computer science
- temporal logic
- international conference
- formal verification
- automated verification
- computer science education
- model checker
- international symposium
- verification method
- keynote address
- formal specification
- concurrent systems
- international workshop
- bounded model checking
- knowledge discovery and data mining
- formal methods
- north america
- asynchronous circuits
- dynamic analysis
- epistemic logic
- machine learning