Model-Checking for Real-Time Systems Specified in Lotos

No abstract is available for this paper.

• Publication year

  1992

• Venue

  International Conference on Computer Aided Verification

• Publication date

  1992-06-29

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1007/3-540-56496-9_23
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Theories of Programming Languages: Communicating Sequential Processes

  1998cited by this paper
• Tableau methods to describe strong bisimilarity on LOTOS processes involving pure interleaving and enabling

  1994cited by this paper
• Modeling and Verification of Time Dependent Systems Using Time Petri Nets

  1991cited by this paper
• An Overview and Synthesis on Timed Process Algebras

  1991cited by this paper
• Performance Description and Analysis for Distributed Systems Using a Variant of LOTOS

  1991cited by this paper
• LOTOS-like Process Algebras with Urgent or Timed Interactions

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

  1990cited by this paper
• A logic of concrete time intervals

  1990cited by this paper
• From timed Petri nets to timed LOTOS

  1990cited by this paper
• LOTOS Extended with Clocks

  1989cited by this paper
• TIC: A Timed Calculus for LOTOS

  1989cited by this paper
• Formal protocol specification and conformance testing: four tutorial papers

  1987cited by this paper
• An Introduction to Estelle: A Specification Language for Distributed Systems

  1987cited by this paper
• Fundamentals of Algebraic Specification 1

  1985cited by this paper
• Process Algebra for Synchronous Communication

  1984cited by this paper
• Automatic verification of finite state concurrent system using temporal logic specifications: a practical approach

  1983cited by this paper
• A polynomial time algorithm for solving systems of linear inequalities with two variables per inequality

  1979cited by this paper
• Recoverability of Communication Protocols - Implications of a Theoretical Study

  1976cited by this paper

• Software product and process quality improvement using formal methods

  2015cites this paper
• Real-time systems - scheduling, analysis, and verification

  2002cites this paper
• A Reachability Analysis of RT-LOTOS Specifications

  1995cites this paper
• A Run-time environment for a validation language

  1993cites this paper