507 search results - page 24 / 102 » Counterexample-Guided Abstraction Refinement |
STTT
2010
13 years 5 months ago
2010
traction Refinement: A Game Semantic Approach Adam Bakewell2 , Aleksandar Dimovski1 , Dan R. Ghica2 , Ranko Lazi
ATVA
2008
Springer
14 years 28 days ago
2008
Springer
1 : Logic in Specification and Verification (abstract) Natarajan Shankar (SRI) Session Chair : Sungdeok Cha 12 : 00 13 : 00 Lunch 13 : 00 15 : 00 2 : Boolean Modeling of Cell Biolo...
CSL
2007
Springer
14 years 2 months ago
2007
Springer
Abstract. Church's Problem (1962) asks for the construction of a procedure which, given a logical specification on sequence pairs, realizes for any input sequence X an output...
ICSR
2009
Springer
13 years 8 months ago
2009
Springer
Abstract. Refinement concepts, such as procedural and data refinement, are among the most important ideas of software engineering. In this paper, we investigate the idea of design ...
CNSM
2010
13 years 9 months ago
2010
Abstract--The automation of policy refinement, whilst promising great benefits for policy-based management, has hitherto received relatively little treatment in the literature, wit...