Abstract | ||
---|---|---|
IntroductionThe tools that we have developed for Real-Time Graphical Interval Logic (RTGIL) areintended for specifying and reasoning about time-bounded safety and liveness propertiesof concurrent real-time systems. These tools include a syntax-directed editor thatenables the user to construct graphical formulas on a workstation display, a theoremprover based on a decision procedure that checks the validity of attempted proofs andproduces a counterexample if an attempted proof is invalid, ... |
Year | DOI | Venue |
---|---|---|
1996 | 10.1007/3-540-61474-5_99 | CAV |
Keywords | Field | DocType |
real-time graphical interval logic,real time,real time systems | Programming language,Interval temporal logic,Level crossing,Computer science,ALARM,Automated theorem proving,Algorithm,Handshaking,Robot | Conference |
ISBN | Citations | PageRank |
3-540-61474-5 | 7 | 0.79 |
References | Authors | |
3 | 5 |
Name | Order | Citations | PageRank |
---|---|---|---|
l e moser | 1 | 2134 | 233.93 |
P. M. Melliar-Smith | 2 | 2360 | 512.60 |
Y. S. Ramakrishna | 3 | 534 | 45.81 |
G. Kutty | 4 | 98 | 10.57 |
Laura K. Dillon | 5 | 497 | 70.70 |