scientific article; zbMATH DE number 177525

MaRDI QIDQ4037394zbMATH OpenFDO

Authors Robert Moll, Ugo Buy

Publication date 18 May 1993

zbMATH Keywords

automated program synthesisautomatic synthesis of synchronization code for asynchronous processesconcurrent programmingfreedom from deadlocklivenessstate machinesynchronizertemporal logic

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 177518
• A lattice-theoretic characterization of safety and liveness
• Direct formal verification of liveness properties in continuous and hybrid dynamical systems
• scientific article; zbMATH DE number 177266
• scientific article; zbMATH DE number 1863165
• Publication:4945222
• On the refinement of liveness properties of distributed systems
• A complete characterization of deterministic regular liveness properties

Cited in

(5)

• Code aware resource management
• Proving Liveness and Termination of Systolic Arrays Using Communicating Finite State Machines
• Syntax directed analysis of liveness properties of while programs
• scientific article; zbMATH DE number 177266 (Why is no real title available?)
• Proving liveness of fair transition systems

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 Q4037394)