✦ LIBER ✦

Automatic verification of distributed logic specifications

✍ Scribed by R Mall; L.M Patnaik

Publisher: Elsevier Science
Year: 1994
Weight: 934 KB
Volume: 40
Category: Article
ISSN: 0165-6074
DOI: 10.1016/0165-6074(94)90005-1

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Logic programs as specifications in the

Logic programs as specifications in the inductive verification of logic programs

✍ Marco Comini; Roberta Gori; Giorgio Levi 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 149 KB

Automatic verification of sequential con

Automatic verification of sequential control systems using temporal logic

✍ Il Moon; Gary J. Powers; Jerry R. Burch; Edmund M. Clarke 📂 Article 📅 1992 🏛 American Institute of Chemical Engineers 🌐 English ⚖ 806 KB

Using temporal logics of knowledge for s

Using temporal logics of knowledge for specification and verification—a case study

✍ Clare Dixon 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 201 KB

Temporal logics of knowledge are useful for reasoning about situations where the knowledge of an agent or component is important, and where change in this knowledge may occur over time. Here we use temporal logics of knowledge to reason about the game Cluedo. We show how to specify Cluedo using temp

Automatic generation of measuring instru

Automatic generation of measuring instrument specifications

✍ S.C. Cook 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 571 KB

Initial semantics of logic specification

Initial semantics of logic specifications with negation

✍ O. A. Il'icheva 📂 Article 📅 1993 🏛 Springer US 🌐 English ⚖ 497 KB

Verification of automatic potentiometers

Verification of automatic potentiometers and bridges

✍ A. I. Lisenkov 📂 Article 📅 1981 🏛 Springer US 🌐 English ⚖ 411 KB