507 search results - page 24 / 102 » Counterexample-Guided Abstraction Refinement |
134
click to vote
STTT
2010
14 years 7 months ago
2010
traction Refinement: A Game Semantic Approach Adam Bakewell2 , Aleksandar Dimovski1 , Dan R. Ghica2 , Ranko Lazi
101
click to vote
ATVA
2008
Springer
15 years 2 months 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...
93
Voted
CSL
2007
Springer
15 years 4 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...
108
Voted
ICSR
2009
Springer
14 years 10 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 ...
82
Voted
CNSM
2010
14 years 10 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...