Ubiquitous Abstraction: A New Approach to Mechanized Formal Verification.
John M. RushbyPublished in: ICFEM (1998)
Keyphrases
- formal verification
- bounded model checking
- model checking
- automated verification
- model checker
- high level
- context aware
- symbolic model checking
- ubiquitous computing
- data abstraction
- context awareness
- ubiquitous environment
- functional verification
- program slicing
- formal specification
- temporal logic
- heuristic search
- test cases
- domain specific