Abstract | ||
---|---|---|
Graphical Interval Logic is the foundation of a toolset we have developed to support formal specification and verification of concurrent systems. The logic is a discrete linear-time temporal logic with the distinguishing feature that formulas in the logic have an intuitive graphical representation. The toolset includes a graphical editor that allows the user to compose and edit graphical formulas on a workstation display and a theorem prover that mechanically checks the validity of proofs in the logic. This paper describes the toolset and illustrates its use. |
Year | DOI | Venue |
---|---|---|
1993 | 10.1007/3-540-56922-7_12 | CAV |
Keywords | Field | DocType |
concurrent systems,graphical interval logic toolset,theorem prover | Programming language,Interval temporal logic,Computer science,Automated theorem proving,Workstation,Theoretical computer science,Formal specification,Mathematical proof,Temporal logic | Conference |
ISBN | Citations | PageRank |
3-540-56922-7 | 17 | 1.53 |
References | Authors | |
10 | 5 |
Name | Order | Citations | PageRank |
---|---|---|---|
G. Kutty | 1 | 98 | 10.57 |
Y. S. Ramakrishna | 2 | 534 | 45.81 |
l e moser | 3 | 2134 | 233.93 |
Laura K. Dillon | 4 | 497 | 70.70 |
P. M. Melliar-Smith | 5 | 2360 | 512.60 |