RTL verification of timed asynchronous and heterogeneous systems using symbolic model checking.
Vida VakilotojarPeter A. BeerelPublished in: Integr. (1997)
Keyphrases
- symbolic model checking
- heterogeneous systems
- model checking
- formal verification
- model checker
- temporal logic
- distributed architecture
- application developers
- computing systems
- formal methods
- web services
- formal specification
- parallel architectures
- petri net
- processing units
- partial observability
- multi agent systems
- binary decision diagrams
- grid environment
- legacy systems
- databases
- symbolic representation
- dynamic environments
- data mining