6608 search results - page 83 / 1322 » On the Completeness of Model Checking |
117
click to vote
ICSOC
2007
Springer
15 years 7 months ago
2007
Springer
Model checking Web service behaviour has remained limited to checking safety and liveness properties. However when viewed as a multi agent system, the system composition can be ana...
116
click to vote
ICFP
2008
ACM
16 years 1 months ago
2008
ACM
We report on an extension of Haskell with open type-level functions and equality constraints that unifies earlier work on GADTs, functional dependencies, and associated types. The...
103
click to vote
PODS
2006
ACM
16 years 1 months ago
2006
ACM
Privacy-preserving query-answering systems answer queries while provably guaranteeing that sensitive information is kept secret. One very attractive notion of privacy is perfect p...
AUSAI
2005
Springer
15 years 6 months ago
2005
Springer
We model the well-known Sum-and-Product problem in a modal logic, and verify its solution in a model checker. The modal logic is public announcement logic. The riddle is then imple...
136
click to vote
APN
2010
Springer
15 years 5 months ago
2010
Springer
AlPiNA is a symbolic model checker for High Level Petri nets. It is comprised of two independent modules: a GUI plugin for Eclipse and an underlying model checking engine. AlPiNAâ€...