FoCs: Automatic Generation of Simulation Checkers from Formal Specifications.
Yael AbarbanelIlan BeerLeonid GluhovskySharon KeidarYaron WolfsthalPublished in: CAV (2000)
Keyphrases
- formal specification
- formal specification language
- model checking
- object oriented design
- formal methods
- automatically generate
- temporal logic
- simulation model
- reverse engineering
- specification languages
- game playing
- specification language
- artificial intelligence
- open source
- software testing
- expert systems
- cooperative
- process algebra
- case study