✦ LIBER ✦

Refinement-based verification of elastic pipelined systems

✍ Scribed by Srinivasan, S.K.; Cai, Y.; Sarker, K.

Book ID: 114442623
Publisher: The Institution of Engineering and Technology
Year: 2012
Tongue: English
Weight: 469 KB
Volume: 6
Category: Article
ISSN: 1751-8601
DOI: 10.1049/iet-cdt.2010.0023

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Refinement-Based Verification of Interac

Refinement-Based Verification of Interactive Real-Time Systems

✍ Maria Spichkova 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 425 KB

Verification of rule-based expert system

Verification of rule-based expert systems

✍ William T. Wood; Elaine N. Frankowski 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 631 KB

Verification of multiple agent knowledge

Verification of multiple agent knowledge-based systems

✍ Daniel E. O'Leary 📂 Article 📅 2001 🏛 John Wiley and Sons 🌐 English ⚖ 96 KB 👁 2 views

The SH-Verification Tool — Abstraction-B

The SH-Verification Tool — Abstraction-Based Verification of Co-operating Systems

✍ P. Ochsenschläger; J. Repp; R. Rieke; U. Nitsche 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 193 KB

Model-based verification of knowledge-ba

Model-based verification of knowledge-based systems: a case study

✍ Marcos, M.; del Pobil, A.P.; Moisan, S. 📂 Article 📅 2000 🏛 The Institution of Electrical Engineers 🌐 English ⚖ 565 KB

Evaluation of verification tools for kno

Evaluation of verification tools for knowledge-based systems

✍ ALUN D. PREECE; STÉPHANE TALBOT; LAURENCE VIGNOLLET 📂 Article 📅 1997 🏛 Elsevier Science 🌐 English ⚖ 330 KB

Validation has emerged as a significant problem in the development of knowledgebased systems (KBS). Verification of KBS correctness and completeness has been cited as one of the most difficult aspects of validation. A number of software tools have been developed to perform such verification, but non