Name
Abstract | ||
|---|---|---|
ions: The abstraction module implements the method presented in [1] forcomputing abstractions of infinite state systems. For a given concrete system and a given abstractionfunction, it computes an abstraction of the concrete system compositionally and automatically. Theprocess of generation of the abstract system does not depend on the assumed semantics of the paralleloperator; it works for the synchronous as well as for the asynchronous computation model. Thegenerated abstract system has... |
Year | DOI | Venue |
|---|---|---|
1998 | 10.1007/BFb0028771 | CAV |
Keywords | Field | DocType |
computer model | Computer science,Automated theorem proving,Algorithm,Theoretical computer science,Invariant (mathematics),Reactive system | Conference |
Volume | ISSN | ISBN |
1427 | 0302-9743 | 3-540-64608-6 |
Citations | PageRank | References |
36 | 4.96 | 14 |
Authors | ||
3 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Saddek Bensalem | 1 | 1242 | 106.13 |
| Yassine Lakhnech | 2 | 913 | 78.50 |
| Sam Owre | 3 | 1323 | 104.39 |