500 search results - page 16 / 100 » Thread-Modular Abstraction Refinement |
ICFEM
2007
Springer
15 years 1 months ago
2007
Springer
Abstract. Refinement plays a crucial role in "top-down" styles of verification, such as the refinement calculus, but for probabilistic systems proof of refinement is a pa...
AMAST
1997
Springer
15 years 1 months ago
1997
Springer
Abstract. We present several formal program refinement rules for designing multi-tasking programs with hard real-time constraints.
ADCM
2006
14 years 9 months ago
2006
Abstract. The paper develops a necessary condition for the regularity of a multivariate refinable function in terms of a factorization property of the associated subdivision mask. ...
ZUM
2000
Springer
15 years 1 months ago
2000
Springer
: Retrenchment is introduced as a liberalisation of refinement intended to address some of the shortcomings of refinement as sole means of progressing from simple abstract models t...
CONCUR
2010
Springer
14 years 10 months ago
2010
Springer
ned Monotonic Abstraction: a CEGAR for Parameterized Verification Parosh Aziz Abdulla1 , Yu-Fang Chen2 , Giorgio Delzanno3 , Fr