Name
Abstract | ||
|---|---|---|
Providing efficient theorem proving support for general ASM rules that update proper functions, use sequential and parallel composition, nondeterministic choice and recursion is difficult, since it is not easy to find a predicate logic formula that describes the transition relation of an ASM rule. One important obstacle to achieving this goal is that executing rules may result in a clash, that aborts the ASM run. This paper contributes three results towards this goal. |
Year | DOI | Venue |
|---|---|---|
2018 | 10.1016/j.scico.2017.08.014 | Science of Computer Programming |
Keywords | Field | DocType |
Abstract state machines,Symbolic execution,Synchronous parallelism,Clashes | Programming language,Nondeterministic algorithm,Axiom,Computer science,Automated theorem proving,Theoretical computer science,Collision,Symbolic execution,Predicate logic,Recursion,Encoding (memory) | Journal |
Volume | ISSN | Citations |
158 | 0167-6423 | 1 |
PageRank | References | Authors |
0.36 | 12 | 5 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Gerhard Schellhorn | 1 | 769 | 56.43 |
| Gidon Ernst | 2 | 144 | 14.46 |
| Jörg Pfähler | 3 | 82 | 6.28 |
| Stefan Bodenmüller | 4 | 1 | 0.36 |
| Wolfgang Reif | 5 | 64 | 4.85 |