scientific article; zbMATH DE number 1512628
From MaRDI portal
zbMATH Open0961.68093MaRDI QIDQ4508313FDOQ4508313
Authors: Yih-Kuen Tsay 
Publication date: 3 October 2000
Title of this publication is not available (Why is that?)
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
Temporal logic (03B44) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cited In (14)
- RGITL: a temporal logic framework for compositional reasoning about interleaved programs
- Title not available (Why is that?)
- Using assumptions to distribute CTL model checking
- Automated compositional proofs for real-time systems
- Conditions of contracts for separating responsibilities in heterogeneous systems
- Compositional analysis for linear systems
- Complementary Criteria for Testing Temporal Logic Properties
- Title not available (Why is that?)
- Being Correct Is Not Enough: Efficient Verification Using Robust Linear Temporal Logic
- Composition of temporal-logic specifications. Specification and verification of systems with temporal logic of distributed actions
- Tool support for learning Büchi automata and linear temporal logic
- Assumption/guarantee specifications in linear-time temporal logic (extended abstract)
- Past is for free: On the complexity of verifying linear temporal properties with past
- Temporal Logic Verification of Lock-Freedom
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)
