1463 search results - page 12 / 293 » Model Checking Implicit-Invocation Systems |
85
Voted
HASE
2008
IEEE
15 years 22 days ago
2008
IEEE
113
click to vote
IPPS
2010
IEEE
14 years 9 months ago
2010
IEEE
Abstract--Ensuring the correctness of complex implementations of software transactional memory (STM) is a daunting task. Attempts have been made to formally verify STMs, but these ...
RISE
2004
Springer
15 years 5 months ago
2004
Springer
In this paper, we develop a symbolic representation for timed concurrent constraint (tccp) programs, which can be used for defining a lightweight model–checking algorithm for re...
78
Voted
FMOODS
2008
15 years 1 months ago
2008
Abstract. Software product line engineering combines the individual developments of systems to the development of a family of systems consisting of common and variable assets. In t...
84
Voted
ATAL
2006
Springer
15 years 3 months ago
2006
Springer
We present an OBDD-based methodology for verifying time, knowledge, and strategies in multi-agent systems specified by the formalism of interpreted systems. To this end, we invest...