713 search results - page 98 / 143 » Model Checking and Transitive-Closure Logic |
CHARME
2005
Springer
15 years 4 months ago
2005
Springer
The application of model-checking tools to complex systems involves a nontrivial step of modelling the system by a finite-state model and a translation of the desired properties i...
102
click to vote
PPOPP
2010
ACM
15 years 8 months ago
2010
ACM
As concurrent programming becomes prevalent, software providers are investing in concurrency libraries to improve programmer productivity. Concurrency libraries improve productivi...
176
click to vote
CONCUR
2011
Springer
13 years 10 months ago
2011
Springer
The problem of model checking threads interacting purely via the standard synchronization primitives is key for many concurrent program analyses, particularly dataflow analysis. U...
100
Voted
ATAL
2005
Springer
15 years 4 months ago
2005
Springer
We present dcl-pc: a dynamic logic of delegation and cooperation. The logical foundation of dcl-pc is cl-pc, a logic for reasoning about cooperation in which the powers of agents ...
74
Voted
KBSE
2007
IEEE
15 years 5 months ago
2007
IEEE
A number of researchers have proposed the use of Boolean satisfiability solvers for verifying C programs. They encode correctness checks as Boolean formulas using finitization: ...