1895 search results - page 339 / 379 » Using ATL for Checking Models |
106
Voted
GLVLSI
2009
IEEE
15 years 7 months ago
2009
IEEE
The sequential depth determines the completeness of bounded model checking in design verification. Recently, a SATbased method is proposed to compute the sequential depth of a de...
112
Voted
LICS
2009
IEEE
15 years 7 months ago
2009
IEEE
A psi-calculus is an extension of the pi-calculus with nominal data types for data structures and for logical assertions representing facts about data. These can be transmitted be...
98
Voted
ICSOC
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. In Service Oriented Architectures (SOAs) services invoked in a composition can be replaced by other services, which are possibly discovered and bound at runtime. Most of ...
OOPSLA
2009
Springer
15 years 7 months ago
2009
Springer
Today’s shared-memory parallel programming models are complex and error-prone. While many parallel programs are intended to be deterministic, unanticipated thread interleavings ...
111
click to vote
TPHOL
2007
IEEE
15 years 6 months ago
2007
IEEE
Abstract. This paper introduces the logical system HOL2P that extends classical higher order logic (HOL) with type operator variables and universal types. HOL2P has explicit term o...