System specification and refinement in temporal logic

DOI10.1007/3-540-56287-7_92MaRDI QIDQ4256654zbMATH OpenFDO

Authors Amir Pnueli

Publication date 8 August 1999

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-56287-7_92

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Composing and refining dense temporal logic specifications
• scientific article; zbMATH DE number 3982506
• Action refinement in a temporal logic of objects
• scientific article; zbMATH DE number 1015113

Cited in

(21)

• Temporal theories as modularisation units for concurrent system specification
• Composing and refining dense temporal logic specifications
• A two-level temporal logic for evolving specifications.
• Event-driven temporal logic pattern for control software requirements specification
• Parameter Synthesis for Piecewise Affine Systems from Temporal Logic Specifications
• Refinement and Consistency of Timed Modal Specifications
• scientific article; zbMATH DE number 3982506 (Why is no real title available?)
• scientific article; zbMATH DE number 4089533 (Why is no real title available?)
• scientific article; zbMATH DE number 1015113 (Why is no real title available?)
• scientific article; zbMATH DE number 1956481 (Why is no real title available?)
• Action refinement in a temporal logic of objects
• scientific article; zbMATH DE number 910718 (Why is no real title available?)
• Assumption/guarantee specifications in linear-time temporal logic (extended abstract)
• scientific article; zbMATH DE number 975698 (Why is no real title available?)
• A Logic Approach for LTL System Modification
• A unified linear-time temporal logic solution to the steam-boiler control specification problem
• Revising system specifications in temporal logic
• Assumption/guarantee specifications in linear-time temporal logic
• Metric temporal logic with durations
• On using temporal logic for refinement and compositional verification of concurrent systems
• Specification of communicating processes: temporal logic versus refusals-based refinement

Describes a project that uses

Uses Software

• TLA

This page was built for publication: System specification and refinement in temporal logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4256654)