2 search results - page 1 / 1 » Pre- and Post-agglomerations for LTL Model Checking |
APN
2000
Springer
13 years 8 months ago
2000
Springer
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...
CONCUR
2011
Springer
12 years 4 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...