scientific article; zbMATH DE number 4119617

From MaRDI portal
Publication:4733399

zbMath0683.68031MaRDI QIDQ4733399

Amir Pnueli, Zohar Manna

Publication date: 1989


Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.



Related Items (29)

Logics and decidability for labelled pre- and partially ordered Kripke structuresSpecification and verification of decentralized daisy chain arbiters with \(\omega\)-extended regular expressionsA compositional framework for fault tolerance by specification transformationApplication of the composition principle to unity-like specificationsDeontic action logic, atomic Boolean algebras and fault-toleranceSpecification of abstract dynamic-data types: A temporal logic approachTowards better heuristics for solving bounded model checking problemsRepresenting regular languages of infinite words using mod 2 multiplicity automataA computer scientist looks at game theory.Automated analysis of mutual exclusion algorithms using CCSCompleting the temporal pictureTemporal logic and categories of Petri netsReasoning about programs by exploiting the environmentModel checking properties on reduced trace systemsA hierarchy of temporal logics with pastOn using temporal logic for refinement and compositional verification of concurrent systemsLocal model checking for infinite state spacesOn undecidability of propositional temporal logics on trace systemsAutomatic verification of distributed systems: the process algebra approach.Modal logics for communicating systemsAxioms for real-time logicsDecision Procedures for a Deontic Logic Modeling Temporal Inheritance of ObligationsReasoning about nondeterministic and concurrent actions: A process algebra approachVerification of reactive systems using temporal logic with clocksSimulation, reduction and preservation of correctness properties of parallel systemsSpecification in CTL + past for verification in CTL.Testing preorders for probabilistic processes can be characterized by simulationsOn the strength of temporal proofsProving partial order properties




This page was built for publication: