Practical First-Order Temporal Reasoning

No abstract is available for this paper.

• Publication year

  2008

• Venue

  Time

• Publication date

  2008-06-16

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1109/TIME.2008.15
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Tractable Temporal Reasoning

  2007influential reference
• Is There a Future for Deductive Temporal Verification?

  2006cited by this paper
• Influence of cultivation temperature on the ligninolytic activity of selected fungal strains

  2006cited by this paper
• Proving Liveness by Backwards Reachability

  2006cited by this paper
• Practical Infinite-State Verification with Temporal Reasoning

  2005influential reference
• First-Order Temporal Verification in Practice

  2005cited by this paper
• TeMP: A Temporal Monodic Prover

  2004cited by this paper
• Regular model checking for LTL(MSO)

  2004cited by this paper
• Monodic temporal resolution

  2003influential reference
• Constraint-Based Verification of Parameterized Cache Coherence Protocols

  2003influential reference
• On the computational complexity of decidable fragments of first-order linear temporal logics

  2003cited by this paper
• Equality and Monodic First-Order Temporal Logic

  2002cited by this paper
• Axiomatizing the monodic fragment of first-order temporal logic

  2002cited by this paper
• Monodic Packed Fragment with Equality is Decidable

  2002cited by this paper
• A Unifying Model Checking Approach for Safety Properties of Parameterized Systems

  2001cited by this paper
• Decidable fragment of first-order temporal logics

  2000cited by this paper
• Automatic Verification of Parameterized Cache Coherence Protocols

  2000cited by this paper
• Mechanical verification of transaction processing systems

  2000cited by this paper
• Mechanicak verification of a Nin-Blocking Atomic Commitment Protocol

  2000cited by this paper
• On the verification of broadcast protocols

  1999cited by this paper
• Clausal temporal resolution

  1999cited by this paper
• The Classical Decision Problem

  1997cited by this paper
• Decidability and incompleteness results for first-order temporal logics of linear time

  1992cited by this paper
• Distributed Algorithms

  1992cited by this paper
• Temporal and Modal Logic

  1991cited by this paper
• Nonblocking commit protocols

  1981cited by this paper

• A Decidable Bundled Fragment of First-Order Modal Logic Without Finite Model Property

  2025cites this paper
• Parameterized Verification of Leader/Follower Systems via Arithmetic Constraints

  2024cites this paper
• Are bundles good deals for first-order modal logic?

  2023cites this paper
• Are Bundles Good Deals for FOML?

  2022cites this paper
• Generalized Bundled Fragments for First-Order Modal Logic

  2022cites this paper
• An Overview of Verification and Validation Challenges for Inspection Robots

  2021cites this paper
• Parameterized verification of leader/follower systems via first-order temporal logic

  2021influential citation
• Reducing liveness to safety in first-order logic

  2017cites this paper
• Proving liveness properties of concurrent programs using petri-nets

  2014cites this paper
• A survey on temporal logics for specifying and verifying real-time systems

  2013cites this paper
• A Logical Approach to Data-Aware Automated Sequence Generation

  2012cites this paper
• An Introduction to Practical Formal Methods Using Temporal Logic

  2011cites this paper
• Real-time and Probabilistic Temporal Logics: An Overview

  2010cites this paper
• A Survey on Temporal Logics

  2010cites this paper
• Implementing a fair monodic temporal logic prover

  2010cites this paper
• Deductive verification of simple foraging robotic behaviours

  2009cites this paper
• Redundancy Elimination in Monodic Temporal Reasoning

  2009cites this paper
• Proceedings of the Automated Reasoning Workshop 2009 Bridging the Gap between Theory and Practice ARW 2009 21 st – 22 nd April 2009

  2009cites this paper