✦ LIBER ✦

Formal Specification and Verification of Complex Systems

✍ Scribed by S. Gnesi

Publisher: Elsevier Science
Year: 2003
Tongue: English
Weight: 90 KB
Volume: 80
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)80829-6

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Formal specification and verification of

Formal specification and verification of microprocessor systems

✍ Jeffrey J Joyce 📂 Article 📅 1988 🏛 Elsevier Science ⚖ 926 KB

Formal hardware specification and verifi

Formal hardware specification and verification using prolog

✍ Z. Brezočnik; B. Horvat 📂 Article 📅 1989 🏛 Elsevier Science ⚖ 652 KB

On the formal specification and verifica

On the formal specification and verification of digital circuits

✍ Peter J. de Graaff 📂 Article 📅 1990 🏛 Elsevier Science ⚖ 546 KB

Formal Verification of Activity-Based Sp

Formal Verification of Activity-Based Specification of Protocols

✍ K.C. Anand; R.K. Shyamasundar 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 418 KB

In this paper, we describe a method to formally verify activity-based specifications such as EBSDL. Starting from EBSDL-like specifications that specify engineering activities in terms of input and output behaviors, we derive programs in an asynchronous language CSP-R. CSP-R programs are then verifi

An approach to formal specification and

An approach to formal specification and verification of map-centered applications

✍ M.A.V Nelson; P.S.C Alencar; D.D Cowan 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 150 KB

Formal specification and verification of

Formal specification and verification of digital systems: G. Milne, McGraw-Hill, Maidenhead, UK, 1994, 240 pp., £29.95

✍ L. Bottacci 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 80 KB