✦ LIBER ✦

Formal specification and verification of microprocessor systems

✍ Scribed by Jeffrey J Joyce

Publisher: Elsevier Science
Year: 1988
Weight: 926 KB
Volume: 24
Category: Article
ISSN: 0165-6074
DOI: 10.1016/0165-6074(88)90081-6

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Formal Specification and Verification of

Formal Specification and Verification of Complex Systems

✍ S. Gnesi 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 90 KB

Formal specification and documentation o

Formal specification and documentation of microprocessor instruction sets

✍ Jonathan P. Bowen 📂 Article 📅 1987 🏛 Elsevier Science ⚖ 540 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