Searching for "Model Cheking." – sorted by Relevance.
13 documents found, showing 1 through 10.
Next 10 →
-
Improving SAT-based Bounded Model Checking by Means of BDD-based
- … gaining ground more recently, with the introduction of Bounded Model Cheking (BMC). In this paper we…
- Add To MetaCart
-
Model Checking by Random Walk
- …Model Checking by Random Walk P@trik Haslum Department of Computer Science, Linkoping University…
- Cited by 5 (0 self) – Add To MetaCart
-
Automated Composition of Semantic Web Services into Executable Processes
- … on the planning as model cheking approach, and perform an experimental evaluation. Though the results are still…
- Cited by 86 (4 self) – Add To MetaCart
-
An Automated Analysis of Ping-Pong Interactions in E-mail Services
- …, the soundness of a proposed solution can be verified with usual model-cheking techniques. We modeled…
- Add To MetaCart
-
Automatic Composition of Transition-based Semantic Web Services with Messaging
- … is achieved exploiting advanced model cheking techniques. However, a limited support for data is present…
- Cited by 47 (11 self) – Add To MetaCart
-
An Application of Abstraction and Induction Techniques to Degenerating Systems of Processes
- …. Our abstraction technique relies on the verification of a fixed Abstract process using model cheking…
- Cited by 1 (0 self) – Add To MetaCart
-
Model-checking of a Multi-threaded Operating System ∗
- … model-cheked several properties of a multi-threaded operating system. The originality of our model…
- Add To MetaCart
-
High-level Integrated Design Environment for Dependability (HIDE)
- … the verification techniques supported by SPIN, including Linear Time Logics model-cheking. Two implementations…
- Cited by 11 (3 self) – Add To MetaCart
-
Formal Verification of an Asynchronous MAC Layer Protocol in VIS
- …-the-fly model cheking algorithm. It has advantages when verifying local properties. However, here the properties…
- Add To MetaCart
-
VRDADER: Verification, Performance and Availability of Distributed Applications in Real-world Scenarios
- … to be exploited in the future. TIC2002-02859 • J. Sanchez, T. Arts. VoDKAV Tool: Model Cheking for Extracting…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
