1689 search results - page 43 / 338 » Refining abstract interpretations |
115
click to vote
FMCAD
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. We consider the problem of refinement checking for asynchronous processes where refinement corresponds to stutter-closed language inclusion. Since an efficient algorithmi...
CORR
2006
Springer
15 years 2 months ago
2006
Springer
The refinement calculus for logic programs is a framework for deriving logic programs from specifications. It is based on a wide-spectrum language that can express both specificat...
105
click to vote
CAV
2009
Springer
16 years 2 months ago
2009
Springer
Library of Numerical Abstract Domains for Static Analysis Bertrand Jeannet1 and Antoine Min?e2 1 INRIA Rh^one-Alpes, Grenoble, France, Bertrand.Jeannet@inrialpes.fr 2 CNRS, ?Ecole ...
101
click to vote
CONCUR
2007
Springer
15 years 5 months ago
2007
Springer
Abstract. Almost 20 years after the original conception, we revisit several fundamental questions about modal transition systems. First, we demonstrate the incompleteness of the st...
121
click to vote
ENTCS
2008
15 years 2 months ago
2008
Petri nets are a formalism for modelling and validating critical systems. Generally, the approach to specification starts from an abstract view of the system under study. Once val...