Formal Verification of Simulation Traces Using Computation Slicing.
Alper SenVijay K. GargPublished in: IEEE Trans. Computers (2007)
Keyphrases
- formal verification
- program slicing
- model checking
- automated verification
- model checker
- mathematical model
- bounded model checking
- symbolic model checking
- data sets
- knowledge representation
- temporal logic
- simulation environment
- simulation model
- description languages
- domain independent
- orders of magnitude
- source code
- artificial intelligence