208 search results - page 4 / 42 » Fair Model Checking with Process Counter Abstraction |
ILC
2007
Springer
14 years 1 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...
COLLABORATION
1999
Springer
13 years 11 months ago
1999
Springer
Abstract. We present a formal model of negotiation between autonomous agents. The purpose of the negotiation is to reach an agreement about the provision of a service by one agent ...
TACAS
2005
Springer
14 years 26 days ago
2005
Springer
Abstract. Symmetry reduction is a technique to combat the state explosion problem in temporal logic model checking. Its use with symbolic representation has suffered from the proh...
SMI
1999
IEEE
13 years 11 months ago
1999
IEEE
Inspection of reflection line patterns is a standard way to check the quality of free form surfaces. In this paper, we describe an approach which enables the designer to control d...
ER
2010
Springer
13 years 6 months ago
2010
Springer
In the light of an increasing demand on business process compliance, the veri cation of process models against compliance rules has become essential in enterprise computing. To be ...