1463 search results - page 85 / 293 » Model Checking Implicit-Invocation Systems |
111
click to vote
ASE
2008
15 years 1 months ago
2008
Model checkers were originally developed to support the formal verification of high-level design models of distributed system designs. Over the years, they have become unmatched in...
123
click to vote
ILC
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. We aim at checking safety and temporal properties over models representing the behavior of programs manipulating dynamic singly-linked lists. The properties we consider n...
131
click to vote
FMCAD
1998
Springer
15 years 6 months ago
1998
Springer
We present a new approach to the verification of hardware systems with data dependencies using temporal logic symbolic model checking. As a benchmark we take Tomasulo's algori...
114
click to vote
JLP
2007
15 years 1 months ago
2007
Jackal is a fine-grained distributed shared memory implementation of the Java programming language. It aims to implement Java’s memory model and allows multithreaded Java progr...
112
click to vote
KBSE
2005
IEEE
15 years 7 months ago
2005
IEEE
We consider a formal framework for property verification of web applications using Spin model checker. Some of the web related properties concern all states of the model, while ot...