Keyword: verification

Found 5 papers in total
Model checking time-dependent system specifications using Time Stream Petri Nets and Uppaal
Model checking time-dependent system specifications using Time Stream Petri Nets and Uppaal
2012,
This paper describes an approach to modeling and analysis of time‐dependent...
A generic testing framework for agent‐based simulation models
A generic testing framework for agent‐based simulation models
2013,
Agent‐based modelling and simulation (ABMS) had an increasing attention during...
Verification and validation of simulation models
Verification and validation of simulation models
2013,
Verification and validation of simulation models are discussed in this paper. Three...
A prescriptive technique for V&V of simulation models when no real-life data are available: results from a real-life project
A prescriptive technique for V&V of simulation models when no real-life data are available: results from a real-life project
2008,
Verification and Validation (V&V) is a key process to guarantee that any model...
A method for the verification of a distributed and synchronized algorithm
A method for the verification of a distributed and synchronized algorithm
2004,
In the model-checking context, the method used to detect stable properties is to...
Papers per page: