Compiled-code-based simulation with timing verification.
Winfried HahnAndreas HagererC. HerrmannPublished in: EURO-DAC (1994)
Keyphrases
- simulation model
- decision trees
- source code
- model checking
- simulation models
- social networks
- asynchronous circuits
- error correcting
- mathematical model
- programs written
- real time
- symbolic execution
- code generation
- formal verification
- mathematical models
- numerical simulations
- open source
- multiscale
- website
- artificial intelligence
- information retrieval