Local Model Checking for Real-Time Systems (Extended Abstract)

No abstract is available for this paper.

• Publication year

  1995

• Venue

  International Conference on Computer Aided Verification

• Publication date

  1995-07-03

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1007/3-540-60045-0_52
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Model Checking Real-Time Systems

  2018cited by this paper
• RESULTS ON THE PROPOSITIONAL’p-CALCULUS

  2001cited by this paper
• An Efficient Algorithm for Minimizing Real-Time Transition Systems

  1997cited by this paper
• The symbolic model-checking for real-time systems

  1996cited by this paper
• A Theory of Timed Automata

  1994cited by this paper
• Incremental Model Checking in the Modal Mu-Calculus

  1994cited by this paper
• Efficient Computation of Nested Fix-Points, with Applications to Model Checking

  1994cited by this paper
• The Concurrency Factory - Practical Tools for Specification, Stimulation, Verification, and Implementation of Concurrent Systems

  1994cited by this paper
• An Automata-Theoretic Approach to Branching-Time Model Checking (Extended Abstract)

  1994cited by this paper
• The concurrency workbench

  1993cited by this paper
• Model-Checking in Dense Real-time

  1993cited by this paper
• On Model-Checking for Fragments of µ-Calculus

  1993cited by this paper
• A linear-time model-checking algorithm for the alternation-free modal mu-calculus

  1993cited by this paper
• Real-Time: Theory in Practice: Rex Workshop, Mook, the Netherlands, June 3-7, 1991: Proceedings

  1992cited by this paper
• Efficient Local Correctness Checking

  1992cited by this paper
• Minimal State Graph Generation

  1992cited by this paper
• An implementation of three algorithms for timing verification based on automata emptiness

  1992cited by this paper
• Model Checking and Boolean Graphs

  1992cited by this paper
• Minimization of Timed Transition Systems

  1992cited by this paper
• Symbolic model checking for real-time systems

  1992cited by this paper
• The Theory of Timed Automata

  1991cited by this paper
• Local Model Checking in the Modal mu-Calculus

  1991cited by this paper
• A calculus of real time systems

  1991cited by this paper
• DECIDING PROPERTIES OF REGULAR REAL TIMEDPROCESSESUNO HOLMER

  1991cited by this paper
• Real-Time and the Mu-Calculus (Preliminary Report)

  1991cited by this paper
• Model-checking for real-time systems

  1990cited by this paper
• Timing Assumptions and Verification of Finite-State Concurrent Systems

  1989cited by this paper
• Efficient Model Checking in Fragments of the Propositional Mu-Calculus (Extended Abstract)

  1986cited by this paper
• An Automata-Theoretic Approach to Automatic Program Verification (Preliminary Report)

  1986cited by this paper
• Automatic verification of finite-state concurrent systems using temporal logic specifications

  1986cited by this paper
• Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic

  1981cited by this paper
• Constructive versions of tarski's fixed point theorems

  1979cited by this paper

• Expressiveness Results for Timed Modal Mu-Calculi

  2023influential citation
• Timed Automata Benchmark Description

  2020cites this paper
• State-space search with tabled logic programs

  2018cites this paper
• Verification Method of Real-time System Based on Refinement Relation

  2015cites this paper
• Towards a Unified Theory of Timed Automata

  2014influential citation
• The Power of Proofs: New Algorithms for Timed Automata Model Checking

  2014cites this paper
• A menagerie of timed automata

  2014cites this paper
• Data Structure Choices for On-the-Fly Model Checking of Real-Time Systems

  2011cites this paper
• Pr Rogram M Proceeding Gs Program Chairs

  2011cites this paper
• A Decidable Timed μ-calculus for Event-Recording Automata

  2009cites this paper
• Verification of Complex Real-Time Systems using Rewriting Logic

  2009cites this paper
• Efficient Model-Checking of Dense-Time Systems with Time-Convexity Analysis

  2008cites this paper
• Model Checking and Deduction for Verifying Innnite-state Systems

  2008cites this paper
• Parametric model-checking in PMCGiosu

  2007cites this paper
• Model Checking and Deduction for Innnite-state Systems

  2007cites this paper
• A survey of formal verification methods and tools for embedded and real-time systems

  2006cites this paper
• Fast OnThe-Fly Parametric Real-Time Model Checking

  2005cites this paper
• Fast Generic Model-Checking for Data-Based Systems

  2005cites this paper
• Analysis of Real-Time Systems with CTL Model Checkers

  2005cites this paper
• Checking Timed Büchi Automata Emptiness Efficiently

  2005cites this paper
• Fast on-the-fly parametric real-time model checking

  2005influential citation
• Model checking real-time value-passing systems

  2004cites this paper
• Incremental specification with SCTL/MUS-T: a case study

  2004cites this paper
• Model checking real-time systems on partition refinement

  2004cites this paper
• Integrating Formal Verification into the Embedded Software Development Process

  2004cites this paper
• Combinando “model checking” y “proof checking” en el análisis de sistemas de tiempo real

  2004cites this paper
• Splitting trees and partition refinement in real-time model checking

  2002cites this paper
• Efficient Real-Time Model Checking Using Tabled Logic Programming and Constraints

  2002cites this paper
• Digitisation and Full Abstraction for Dense-Time Model Checking

  2002cites this paper
• Formalizing incremental design in real-time area: SCTL/MUS-T

  2002cites this paper
• Extending Timed Automaton and Real-Time Logic to Many-Valued Reasoning

  2002cites this paper
• Constraint Database Models Characterizing Timed Bisimilarity

  2001cites this paper
• Formal modelling and analysis of broadcasting embedded control systems

  2001cites this paper
• Parametric Real-Time Model Checking Using Splitting Trees

  2001cites this paper
• Tabled resolution + constraints: a recipe for model checking real-time systems

  2000influential citation
• Logic Based Abstractions of Real-Time Systems

  2000cites this paper
• Verification Using Tabled Logic Programming

  2000cites this paper
• Test generation for interworking systems

  2000cites this paper
• Model Checking for Timed Logic Processes

  2000cites this paper
• Discrete analysis of continuous behaviour in real-time concurrent systems

  2000cites this paper
• Discrete analysis of continuous behaviour in real-time concurrent systems

  2000cites this paper
• Practical considerations in protocol verification: the E-2C case study

  1999cites this paper
• Specification and analysis of real-time systems with PARAGON

  1999cites this paper
• An Incremental Verification Algorithm for Real-Time Systems

  1999cites this paper
• Modelling and Veri cation of Real-Time Systems Using Timed Automata: Theory and Practice

  1999cites this paper
• TIMED LOGIC CONFORMANCE AND ITS

  1999cites this paper
• Experiments with parametric verification of real-time systems

  1999cites this paper
• Formula Based Abstractions of Transition Systems for Real-Time Model Checking

  1999cites this paper
• Speci cation and Analysis of Real-Time Systems with PARAGON

  1999cites this paper
• Timed Safety Automata and Logic Conformance.

  1999cites this paper
• XTG-an engineering approach to modelling and analysis of real-time systems

  1998cites this paper
• Logic Programming and Model Checking

  1998cites this paper
• Integrated architectural modeling and analysis for high-assurance command and control system design

  1998cites this paper
• Partition Refinement in Real-Time Model Checking

  1998cites this paper
• L'analyse formelle des systèmes temporisés en pratique. (The Formal Analysis of Timed Systems in Practice)

  1998cites this paper
• Modelling and analysis of broadcasting embedded control systems

  1998cites this paper
• Verification of Temporal and Real-Time Properties of Statecharts

  1997cites this paper
• On-the-fly symbolic model checking for real-time systems

  1997cites this paper
• Semantic Theories and Automated Tools for Real-Time and Probabilistic Concurrent Systems

  1997cites this paper
• Software Design, Specification, and Verification: Lessons Learned from the Rether Case Study

  1997cites this paper
• From Quantity to Quality

  1997cites this paper
• A graphical property specification language

  1997cites this paper
• A Graphical Property Speci(cid:12)cation Language (cid:3)

  1997cites this paper
• A Space-eecient On-the--y Algorithm for Real-time Model Checking ?

  1996cites this paper
• The Concurrency Factory Software Development Environment

  1996cites this paper
• A Space-Efficient On-the-fly Algorithm for Real-Time Model Checking

  1996cites this paper
• An efficient state space generation for analysis of real-time systems

  1996cites this paper
• The Concurrency Factory: A Development Environment for Concurrent Systems

  1996cites this paper
• Modeling and analysis of complex computer systems-the MTCCS approach

  1996cites this paper
• Deductive Model Checking

  1996cites this paper
• Efficient Graph-Based Algorithms For Model Checking In The Modal Mu-Calculus

  1996cites this paper
• Compositional and symbolic model-checking of real-time systems

  1995cites this paper
• Electronic Workshops in Computing Bcs-facs Northern Formal Methods Workshop Transformation of Mtccs into an Extension of Timed Automata Transformation of Mtccs into an Extension of Timed Automata

  year unknowncites this paper