System verification using multilevel concurrent simulation.
Karen Panetta LentzJamie A. HellerPier Luca MontessoroPublished in: IEEE Micro (1999)
Keyphrases
- user interface
- simulation models
- simulation environment
- mathematical models
- model checking
- numerical simulations
- simulation model
- discrete event simulation
- database
- simulation software
- formal verification
- collision detection
- mathematical model
- programming language
- probabilistic model
- website
- feature selection
- learning algorithm
- real world