scientific article
From MaRDI portal
Publication:4037126
zbMATH Open0796.68143MaRDI QIDQ4037126
Publication date: 18 May 1993
Title of this publication is not available (Why is that?)
program specificationconcurrent programsconcurrencycomputational logicautomatic synthesis of programssynchronization codeliveness analysis
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (4)
Symbolic liveness analysis of real-world software ⋮ Title not available (Why is that?) ⋮ Title not available (Why is that?) ⋮ Adequate proof principles for invariance and liveness properties of concurrent programs
Uses Software
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 Q4037126)
