Temporal Logic Case Study

No abstract is available for this paper.

• Publication year

  1990

• Venue

  Automatic Verification Methods for Finite State Systems

• Publication date

  1990-02-01

• Fields of study

  Computer Science, Engineering

• Identifiers
  DOI 10.1007/3-540-52148-8_21
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• A simple approach to specifying concurrent systems

  2016cited by this paper
• A New Introduction to Modal Logic

  1998cited by this paper
• Synchronous programming of reactive systems: an introduction to ESTEREL

  1988cited by this paper
• A Guide to the Assessment of Software Development Methods

  1988cited by this paper
• Strategies for Introducing Formal Methods into the ADA Life Cycle

  1988cited by this paper
• MATHEMATICS FOR SPECIFICATION AND DESIGN: THE PROBLEM WITH LIFTS . . .

  1987cited by this paper
• Research on Automatic Verification of Finite-State Concurrent Systems

  1987cited by this paper
• A Classification Scheme for Software Development Methods

  1987cited by this paper
• Up and Down The Temporal Way

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

  1986cited by this paper
• Applications of Temporal Logic to the Specification and Verification of Reactive Systems: A Survey of Current Trends

  1986cited by this paper
• What Good is Temporal Logic?

  1983cited by this paper
• Communicating sequential processes

  1983cited by this paper
• Temporal Logic

  1971cited by this paper

• System verification via Model‐Checking: A case study of an autonomous multi‐differential drive robot

  2023cites this paper
• Chemical dosing control for ultrafiltration water treatment system

  2017cites this paper
• Deductive temporal reasoning with constraints

  2013cites this paper
• Design of Temporal Logic embedded controller for small oven process

  2011cites this paper
• A property based specification formalism classification

  2010cites this paper
• A concurrency integrity model for distributed product data management

  2010cites this paper
• Origins of Model Checking

  2007cites this paper
• An approach for designing highly adaptable process-control systems

  2005cites this paper
• Decomposition of fairness and performance aspects for high assurance continuous process-control systems

  2004cites this paper
• Comparing Detection Methods For Software Requirements Inspections: A Replication Using Professional Subjects

  1998cites this paper
• An Experiment to Assess Cost-Bene ts of Inspection Meetings andtheir

  1996cites this paper
• An experiment to assess cost-benefits of inspection meetings and their alternatives: a pilot study

  1996cites this paper
• Comparing Detection Methods for Software Requirements Inspections: A Replicated Experiment

  1995cites this paper
• An experiment to assess different defect detection methods for software requirements inspections

  1994cites this paper