Simulation Verification and Validation by Dynamic Policy Specification and Enforcement.
Wei-Tek TsaiYinong ChenRaymond A. PaulXinyu ZhouChun FanPublished in: Simul. (2006)
Keyphrases
- formal verification
- model checking
- simulation model
- dynamic environments
- access control
- colored petri nets
- asynchronous circuits
- high level
- formal methods
- access control policies
- qualitative simulation
- high level declarative
- genetic algorithm
- specification language
- temporal logic
- mathematical model
- information systems