On Abstraction in Software Verification
CAV '02 Proceedings of the 14th International Conference on Computer Aided Verification
Hybrid I/O Automata
Validation and verification of simulation models
WSC '04 Proceedings of the 36th conference on Winter simulation
Simulation-specific characteristics and software reuse
WSC '05 Proceedings of the 37th conference on Winter simulation
Real number calculations and theorem proving
TPHOLs'05 Proceedings of the 18th international conference on Theorem Proving in Higher Order Logics
Explanation Exploration: Exploring Emergent Behavior
Proceedings of the 21st International Workshop on Principles of Advanced and Distributed Simulation
Proceedings of the 39th conference on Winter simulation: 40 years! The best is yet to come
Using flexible points in a developing simulation of selective dissolution in alloys
Proceedings of the 39th conference on Winter simulation: 40 years! The best is yet to come
Validating Evolving Simulations in COERCE
ICCS '07 Proceedings of the 7th international conference on Computational Science, Part I: ICCS 2007
Applying causal inference to understand emergent behavior
Proceedings of the 40th Conference on Winter Simulation
| Hi-index | 0.00 |
Simulation coercion concerns the adaptation of an existing simulation to meet new requirements. Interactions among course-of-action options available during coercion can become sufficiently complex that full verification of the simulation as it is adapted becomes cost-prohibitive. To address this issue we introduce two forms of abstraction, as employed in the model-checking community, to support verification of critical features of the simulation. We extend existing abstraction methods to facilitate our goals, and propose a useful abstraction method based on partial traces. As a case study, we apply our abstraction methods to the verification of a coercion of an existing simulation.