Verification of Automatically Generated Pattern-Based LTL Specifications.
Salamah SalamahAnn Q. GatesVladik KreinovichSteve RoachPublished in: HASE (2007)
Keyphrases
- automatically generated
- bounded model checking
- model checking
- formal verification
- automated verification
- model checker
- temporal logic
- transition systems
- concurrent systems
- formal specification
- linear temporal logic
- automatically generate
- manually generated
- manually constructed
- automatically generating
- manually created
- automatically created
- linear time temporal logic
- reactive systems
- ground truth
- modal logic
- asynchronous circuits
- protocol specification