Sciweavers

12981 search results - page 139 / 2597
» Model Checking (Abstract)
Sort
View
IWSSD
2000
IEEE
15 years 2 months ago
Model Checking Implicit-Invocation Systems
While implicit invocation (publish-subscribe) systems have goodengineering properties, they are difficult toreason about and to test. Model checking such systems is an attractive...
David Garlan, Serge Khersonsky
ENTCS
2008
96views more  ENTCS 2008»
14 years 10 months ago
Undecidability of Model Checking in Brane Logic
The Brane Calculus is a calculus intended to model the structure and the dynamics of biological membranes. In order to express properties of systems in this calculus, in previous ...
Giorgio Bacci, Marino Miculan
101
Voted
FORMATS
2004
Springer
15 years 3 months ago
Bounded Model Checking for Region Automata
For successful software verification, model checkers must be capable of handling a large number of program variables. Traditional, BDD-based model checking is deficient in this reg...
Fang Yu, Bow-Yaw Wang, Yao-Wen Huang
APN
2003
Springer
15 years 3 months ago
The Model-Checking Kit
The Model-Checking Kit [8] is a collection of programs which allow to model finite state systems using a variety of modelling languages, and verify them using a variety of checker...
Claus Schröter, Stefan Schwoon, Javier Esparz...
74
Voted
TACAS
1997
Springer
132views Algorithms» more  TACAS 1997»
15 years 2 months ago
Test Generation for Intelligent Networks Using Model Checking
We study the use of model checking techniques for the generation of test sequences. Given a formal model of the system to be tested, one can formulate test purposes. A model checke...
André Engels, Loe M. G. Feijs, Sjouke Mauw