An Optimized Symbolic Bounded Model Checking Engine.
Rachel TzorefMark MatusevichEli BergerIlan BeerPublished in: CHARME (2003)
Keyphrases
- bounded model checking
- model checking
- formal verification
- linear temporal logic
- multi agent systems
- temporal logic
- high level
- symbolic description
- symbolic representation
- connectionist models
- connectionist systems
- learning algorithm
- neural learning
- symbolic data
- formal specification
- search tree
- heuristic search
- test cases
- multi agent