Efficient Black-Box Checking via Model Checking with Strengthened Specifications.
Junya ShijuboMasaki WagaKohei SuenagaPublished in: CoRR (2021)
Keyphrases
- black box
- model checking
- automated verification
- model checker
- formal specification
- temporal logic
- bounded model checking
- formal verification
- transition systems
- verification method
- finite state machines
- reactive systems
- concurrent systems
- black boxes
- symbolic model checking
- white box
- temporal properties
- reachability analysis
- asynchronous circuits
- formal methods
- epistemic logic
- timed automata
- computation tree logic
- integration testing
- finite state
- high level
- white box testing
- process algebra
- automated reasoning
- description language
- test cases
- multi agent systems
- pspace complete
- specification language
- distributed systems
- database