✦ LIBER ✦

Correctness verification of real-time programs

✍ Scribed by T Szmuc

Publisher: Elsevier Science
Year: 1988
Weight: 754 KB
Volume: 14
Category: Article
ISSN: 0066-4138
DOI: 10.1016/0066-4138(88)90001-8

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Hierarchical correctness verification in

Hierarchical correctness verification in multiphase real-time software design

✍ T Szmuc; P Szwed; J-J Schwarz; J Skubich 📂 Article 📅 1994 🏛 Elsevier Science ⚖ 975 KB

Hierarchical correctness verification in

Hierarchical correctness verification in multiphase real-time software design

✍ T. Szmuc; P. Szwed; J.-J. Schwarz; J. Skubich 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 770 KB

Verification of real-time programs by a

Verification of real-time programs by a knowledge-based strategy

✍ Wei Zhang; Jiren Liu; Huatian Li 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 816 KB

Correctness proofs of CSP programs

✍ N. Soundararajan 📂 Article 📅 1983 🏛 Elsevier Science 🌐 English ⚖ 948 KB

Real-Time Systems || Analysis and Verifi

Real-Time Systems || Analysis and Verification of Non-Real-Time Systems

✍ Cheng, Albert M. K. 📂 Article 📅 2002 🏛 John Wiley & Sons, Inc. ⚖ 279 KB 👁 2 views

Real-Time Systems || Verification Using

Real-Time Systems || Verification Using Timed Automata

✍ Cheng, Albert M. K. 📂 Article 📅 2002 🏛 John Wiley & Sons, Inc. ⚖ 192 KB 👁 2 views

Finite automata and temporal logics have been used extensively to formally verify qualitative properties of concurrent systems. The properties include deadlock-or livelock-freedom, the eventual occurrence of an event, and the satisfaction of a predicate. The need to reason with absolute time is unne