✦ LIBER ✦

A Guarded Fragment for Abstract State Machines

✍ Scribed by Antje Nowack

Book ID: 106389636
Publisher: Springer Netherlands
Year: 2005
Tongue: English
Weight: 1021 KB
Volume: 14
Category: Article
ISSN: 0925-8531
DOI: 10.1007/s10849-005-5790-2

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Decidable properties for monadic abstrac

Decidable properties for monadic abstract state machines

✍ D. Beauquier 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 266 KB

Typed Abstract State Machines for data-i

Typed Abstract State Machines for data-intensive applications

✍ Klaus-Dieter Schewe; Jane Zhao 📂 Article 📅 2007 🏛 Springer-Verlag 🌐 English ⚖ 243 KB

State-transition machines for lambda-cal

State-transition machines for lambda-calculus expressions

✍ David A. Schmidt 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 283 KB

Predicate Abstraction and Refinement for

Predicate Abstraction and Refinement for Model Checking VHDL State Machines

✍ Mustapha Bourahla; Mohamed Benmohamed 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 182 KB

HARD: A hypercube embedding algorithm fo

HARD: A hypercube embedding algorithm for state assignment of finite state machines

✍ Imtiaz Ahmad 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 375 KB

A test methodology for finite state mach

A test methodology for finite state machines using partial scan design

✍ Hyoung B. Min; William A. Rogers 📂 Article 📅 1992 🏛 Springer US 🌐 English ⚖ 876 KB

This paper presents an efficient automatic test pattern generation technique for loop-free circuits. A partial scan technique is used to convert a sequential circuit (finite state machine) with arbitrary feedback paths into a pipelined circuit for testing. Test generation for these modified circuits