Using ITL and Tempura for Large-Scale Specification and Simulation.
Antonio CauHussein ZedanNick ColemanBen C. MoszkowskiPublished in: PDP (1996)
Keyphrases
- small scale
- simulation study
- databases
- real world
- simulation model
- database
- mathematical model
- simulation models
- high fidelity
- real life
- similarity measure
- high level
- three dimensional
- software engineering
- numerical simulations
- knowledge base
- decision making
- simulation environment
- machine learning
- neural network
- formal verification
- asynchronous circuits
- reactive systems
- provably correct