✦ LIBER ✦

Description and verification of protocol by temporal logic

✍ Scribed by Ichiro Koshida; Tadao Saito; Hiroshi Inose

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Temporal logic based hardware descriptio

✍ Masahiro Fujita; Hidehiko Tanaka; Tohru Moto-Oka 📂 Article 📅 1983 🏛 Springer 🌐 English ⚖ 369 KB

Hierarchical protocol analysis by tempor

✍ Yulin Feng 📂 Article 📅 1988 🏛 Springer 🌐 English ⚖ 602 KB

Automatic verification of asynchronous c

✍ Dill, D.L.; Clarke, E.M. 📂 Article 📅 1986 🏛 The Institution of Electrical Engineers ⚖ 964 KB

Description and Reasoning of VLSI circui

✍ Akira Fusaoka; Hirohisa Seki; Kuzuko Takahashi 📂 Article 📅 1984 🏛 Springer 🌐 English ⚖ 563 KB

Automatic verification of sequential con

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

A survey of temporal extensions of descr

✍ Alessandro Artale; Enrico Franconi 📂 Article 📅 2000 🏛 Springer Netherlands 🌐 English ⚖ 282 KB