αSPIN: Extending SPIN with Abstraction

Abstract

Model Checking is a powerful verification method to increase the quality of software systems. However, the application of this technique is only possible and fruitful if useful models of the software are available. A useful model is an abstract representation of a system, containing only the details necessary to ensure that satisfaction (non-satisfaction… (More)

Topics

2 Figures and Tables

Cite this paper

@inproceedings{Gallardo2002SPINES, title={αSPIN: Extending SPIN with Abstraction}, author={Maŕıa del Mar Gallardo and Jes{\'u}s Mart́ınez and Pedro Merino and Ernesto Pimentel}, year={2002} }