Keyphrases
- model checking
- abstract interpretation
- lecture notes
- united kingdom
- computer science
- computer science education
- temporal logic
- united states
- automated verification
- verification method
- formal verification
- model checker
- international symposium
- bounded model checking
- formal specification
- formal methods
- epistemic logic
- artificial intelligence
- asynchronous circuits
- concurrent systems
- dynamic analysis
- north america
- object oriented
- software engineering
- international workshop
- open source
- case study
- selected papers
- knowledge base
- termination analysis
- information systems