Sciweavers

Share
63 search results - page 1 / 13
» Practical First-Order Temporal Reasoning
Sort
View
TIME
2008
IEEE
9 years 5 months ago
Practical First-Order Temporal Reasoning
In this paper we consider the specification and verification of infinite-state systems using temporal logic. In particular, we describe parameterised systems using a new variet...
Clare Dixon, Michael Fisher, Boris Konev, Alexei L...
CADE
1997
Springer
9 years 3 months ago
A Practical Integration of First-Order Reasoning and Decision Procedures
Nikolaj Bjørner, Mark E. Stickel, Tom&aacut...
LICS
1997
IEEE
9 years 3 months ago
First-Order Logic with Two Variables and Unary Temporal Logic
Kousha Etessami, Moshe Y. Vardi, Thomas Wilke
books