4341 search results - page 149 / 869 » Quantitative Model checking |
107
Voted
CAV
2007
Springer
15 years 4 months ago
2007
Springer
In automatic software verification, we have observed a theoretical convergence of model checking and program analysis. In practice, however, model checkers are still mostly concern...
123
click to vote
CONCUR
2008
Springer
15 years 2 months ago
2008
Springer
Software transactional memory (STM) offers a disciplined concurrent programming model for exploiting the parallelism of modern processor architectures. This paper presents the firs...
108
Voted
ICECCS
2010
IEEE
15 years 28 days ago
2010
IEEE
—In the field of distributed computing, there are many round-based algorithms to solve fundamental problems, such as leader election and distributed consensus. Due to the nature...
106
click to vote
AAI
2004
15 years 18 days ago
2004
We are interested in applying model checking techniques to the verification of communication protocols which require safe communication. Typically, in such scenarios, one desires ...
108
Voted
WWW
2002
ACM
16 years 1 months ago
2002
ACM
HTML documents composed of frames can be difficult to write correctly. We demonstrate a technique that can be used by authors manually creating HTML documents (or by document edit...