## Equational abstractions (2003)

### Cached

### Download Links

- [maude.sip.ucm.es]
- [maude.sip.ucm.es]
- [maude.sip.ucm.es]
- [maude.sip.ucm.es]
- [maude.cs.uiuc.edu]
- [maude.csl.sri.com]
- [maude.cs.uiuc.edu]
- [maude.csl.sri.com]
- DBLP

### Other Repositories/Bibliography

by
José Meseguer
,
Miguel Palomino
,
Narciso Martí-oliet

Venue: | of LNCS |

Citations: | 26 - 12 self |

### BibTeX

@INPROCEEDINGS{Meseguer03equationalabstractions,

author = {José Meseguer and Miguel Palomino and Narciso Martí-oliet},

title = {Equational abstractions},

booktitle = {of LNCS},

year = {2003},

pages = {2--16},

publisher = {Springer}

}

### Years of Citing Articles

### OpenURL

### Abstract

Abstract. Abstraction reduces the problem of whether an infinite state system satisfies version. The most common abstractions are quotients of the original system. We present a simple method of defining quotient abstractions by means of equations collapsing the set of states. Our method yields the minimal quotient system together with a set of proof obligations that guarantee its executability and can be discharged with tools such as those in the Maude formal environment.