✦ LIBER ✦

Application of Modal Logics to the Specification and Verification of Programs

✍ Scribed by V. B. Popov; A. S. Anafiev

Book ID: 110314512
Publisher: Springer US
Year: 2001
Tongue: English
Weight: 30 KB
Volume: 107
Category: Article
ISSN: 1573-8795
DOI: 10.1023/a:1012581223007

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

Application of the trace assertion metho

Application of the trace assertion method to the specification, design, and verification of automaton programs

✍ E. V. Kuzmin; V. A. Sokolov; D. Ju. Chalyy 📂 Article 📅 2009 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 243 KB

Modeling, specification, and verificatio

Modeling, specification, and verification of automaton programs

✍ E. V. Kuzmin; V. A. Sokolov 📂 Article 📅 2008 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 261 KB

Modal Logic and the Logic of Applicabili

Modal Logic and the Logic of Applicability

✍ A. N. PRIOR 📂 Article 📅 2008 🏛 Wiley (Blackwell Publishing) 🌐 English ⚖ 870 KB

An application of Rieger-Nishimura formu

An application of Rieger-Nishimura formulas to the intuitionistic modal logics

✍ Dimiter Vakarelov 📂 Article 📅 1985 🏛 Springer Netherlands 🌐 English ⚖ 409 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