Using XML to implement abstraction for model checking

Proceedings of the ACM Symposium on Applied Computing

Volumn , Issue , 2002, Pages 1021-1025

  Del Mar Gallardo, Maria ^a   Martínez, Jesús ^a   Merino, Pedro ^a   Rosales, Estefanía ^a  

^a UNIVERSITY OF MÁLAGA   (Spain)

Author keywords

Abstraction; Model checking; SPIN; XML

Indexed keywords

COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER SIMULATION; COMPUTER SOFTWARE SELECTION AND EVALUATION; MATHEMATICAL TRANSFORMATIONS; PROBLEM SOLVING; SOFTWARE ENGINEERING; SYSTEM PROGRAM DOCUMENTATION; SYSTEMS ANALYSIS;

ABSTRACTION; DOCUMENT TYPE DEFINITION; LINEAR TIME TEMPORAL LOGIC; MODEL CHECKING; PROMELA TRANSFORMATIONS; STATE EXPLOSION PROBLEM;

XML;

EID: 0036040264     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (19)

1. Automatic verification of finite-state concurrent systems using temporal logic specifications
2. Model checking and abstraction
3. Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints
4. Abstract interpretation of reactive systems
5. A framework for automatic construction of abstract promela models
6. A practical method to integrate abstractions into SDL and MSC based tools
7. The model checker spin
8. The JDOM project
9. Property preserving abstractions for the verification of concurrent systems
10. Towards a generic interchange format for petri nets