scientific article; zbMATH DE number 1512628

MaRDI QIDQ4508313zbMATH OpenFDO

Authors Yih-Kuen Tsay

Publication date 3 October 2000

zbMATH Keywords

compositional verification of a concurrent system

Mathematics Subject Classification ID

Temporal logic (03B44) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Assumption/guarantee specifications in linear-time temporal logic
• Assumption/guarantee specifications in linear-time temporal logic (extended abstract)
• On using temporal logic for refinement and compositional verification of concurrent systems
• scientific article; zbMATH DE number 4180789
• Applications and Theory of Petri Nets 2004

Cited in

(14)

• Tool support for learning Büchi automata and linear temporal logic
• Being Correct Is Not Enough: Efficient Verification Using Robust Linear Temporal Logic
• scientific article; zbMATH DE number 1444724 (Why is no real title available?)
• Assumption/guarantee specifications in linear-time temporal logic (extended abstract)
• Compositional analysis for linear systems
• Temporal Logic Verification of Lock-Freedom
• Complementary Criteria for Testing Temporal Logic Properties
• RGITL: a temporal logic framework for compositional reasoning about interleaved programs
• Using assumptions to distribute CTL model checking
• Composition of temporal-logic specifications. Specification and verification of systems with temporal logic of distributed actions
• Conditions of contracts for separating responsibilities in heterogeneous systems
• Past is for free: On the complexity of verifying linear temporal properties with past
• Automated compositional proofs for real-time systems
• scientific article; zbMATH DE number 2013588 (Why is no real title available?)

This page was built for publication:

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