✦ LIBER ✦

Interactive tool support for CSP || B consistency checking

✍ Scribed by Neil Evans; Helen Treharne

Book ID: 105844949
Publisher: Springer
Year: 2007
Tongue: English
Weight: 766 KB
Volume: 19
Category: Article
ISSN: 0934-5043
DOI: 10.1007/s00165-007-0034-7

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Model-checking CSP-Z: strategy, tool sup

Model-checking CSP-Z: strategy, tool support and industrial application

✍ Alexandre Mota; Augusto Sampaio 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 422 KB

Genotypechecker: an interactive tool for

Genotypechecker: an interactive tool for checking the inheritance consistency of genotyped pedigrees

✍ T. Paterson; A. Law 📂 Article 📅 2011 🏛 John Wiley and Sons 🌐 English ⚖ 227 KB

Checking for model consistency in optima

Checking for model consistency in optimal fingerprinting

✍ M. R. Allen; S. F. B. Tett 📂 Article 📅 1999 🏛 Springer-Verlag 🌐 English ⚖ 440 KB

Seven at one stroke: LTL model checking

Seven at one stroke: LTL model checking for high-level specifications in B, Z, CSP, and more

✍ Daniel Plagge; Michael Leuschel 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 405 KB

A tool-supported design framework for sa

A tool-supported design framework for safety critical interactive systems

✍ Rémi Bastide; David Navarre; Philippe Palanque 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 779 KB

This paper presents a design framework for safety critical interactive systems, based on a formal description technique called the ICO (Interactive Cooperative Object) formalism. ICO allows for describing, in a formal way, all the components of highly interactive (also called post-WIMP) applications

A consistency check for strongly interac

A consistency check for strongly interacting multiple crack problems in isotropic, bimaterial and orthotropic bodies

✍ Yi-Heng Chen; Norio Hasebe 📂 Article 📅 1998 🏛 Springer Netherlands 🌐 English ⚖ 193 KB