10870 search results - page 167 / 2174 » Model Checking Programs |
146
click to vote
ISORC
2005
IEEE
15 years 7 months ago
2005
IEEE
Web Services form a new distributed computing paradigm. Collaborative verification and validation are important when Web Services from different vendors are integrated together to...
130
click to vote
IJCAI
2003
15 years 3 months ago
2003
This paper addresses the formal verification of diagnosis systems. We tackle the problem of diagnosability: given a partially observable dynamic system, and a diagnosis system obs...
123
click to vote
SPIN
2010
Springer
15 years 3 days ago
2010
Springer
Directed model checking is a well-established technique to efficiently tackle the state explosion problem when the aim is to find error states in concurrent systems. Although dir...
108
click to vote
CONCUR
2003
Springer
15 years 7 months ago
2003
Springer
We consider the problem of checking whether a finite (or ultimately periodic) run satisfies a temporal logic formula. This problem is at the heart of “runtime verification” ...
PODC
2010
ACM
15 years 5 months ago
2010
ACM
We present view transactions, a model for relaxed consistency checks in software transactional memory (STM). View transactions always operate on a consistent snapshot of memory bu...