✦ LIBER ✦

Constraint-based deductive model checking

✍ Scribed by Giorgio Delzanno; Andreas Podelski

Publisher: Springer
Year: 2001
Tongue: English
Weight: 392 KB
Volume: 3
Category: Article
ISSN: 1433-2779
DOI: 10.1007/s100090100049

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Model-Checking View-Based Partial Specif

Model-Checking View-Based Partial Specifications

✍ Michael Huth; Shekhar Pradhan 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 267 KB

Model checking for action-based logics

✍ Alessandro Fantechi; Stefania Gnesi; Gioia Ristori 📂 Article 📅 1994 🏛 Springer 🌐 English ⚖ 813 KB

Toward Automation for Model-Checking Req

Toward Automation for Model-Checking Requirements Specifications with Numeric Constraints

✍ Yunja Choi; Sanjai Rayadurgam; Mats P.E. Heimdahl 📂 Article 📅 2002 🏛 Springer-Verlag 🌐 English ⚖ 392 KB

Constraint-based virtual solid modeling

✍ Shuming Gao; Huagen Wan; Qunsheng Peng 📂 Article 📅 2000 🏛 Springer 🌐 English ⚖ 892 KB

Model checking workflow net based on Pet

Model checking workflow net based on Petri net

✍ Zhou Conghua; Chen Zhenyu 📂 Article 📅 2006 🏛 Wuhan University 🌐 English ⚖ 430 KB

Constructive constraint-based model for

Constructive constraint-based model for parametric CAD systems

✍ Lluis Solano; Pere Brunet 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 791 KB

The paper discusses proposed solutions for constraint-based modelling, with special emphasis on constructive approaches. A new constructive scheme is proposed that is based on a nonevaluated, constructive solid model. The model definition language is presented and discussed, with the general archite