We present a formally specified first order temporal logic. We give its syntax, semantics, and describe its implementation using the Eclipse constraint logic programming language. The main feature of the implementation is a graphical user interface. Because color coded symbols and graphs are used, the interface assumes no logical knowledge on the part oft he user.
CITATION STYLE
Sachdev, S., & Trudel, A. (2000). The formal specification and implementation of a modest first order temporal logic. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 1821, pp. 443–452). Springer Verlag. https://doi.org/10.1007/3-540-45049-1_54
Mendeley helps you to discover research relevant for your work.