Sciweavers

Share
2 search results - page 1 / 1
» Pre- and Post-agglomerations for LTL Model Checking
Sort
View
APN
2000
Springer
12 years 6 months ago
Pre- and Post-agglomerations for LTL Model Checking
One of the most efficient analysis technique is to reduce an original model into a simpler one such that the reduced model has the same properties than the original one. G. Berthel...
Denis Poitrenaud, Jean-François Pradat-Peyr...
CONCUR
2011
Springer
11 years 1 months ago
Reasoning about Threads with Bounded Lock Chains
The problem of model checking threads interacting purely via the standard synchronization primitives is key for many concurrent program analyses, particularly dataflow analysis. U...
Vineet Kahlon
books