507 search results - page 38 / 102 » Counterexample-Guided Abstraction Refinement |
74
Voted
FMSD
2006
15 years 18 days ago
2006
We propose a refinement approach to language emptiness, which is based on the enumeration and the successive refinements of SCCs on over-approximations of the exact system. Our alg...
76
Voted
FAC
2008
15 years 19 days ago
2008
A development of the Mondex system was undertaken using Event-B and its associated proof tools. mental approach was used whereby the refinement between the abstract specification o...
CORR
2006
Springer
15 years 19 days ago
2006
Springer
Abstract. We consider the interpretations of notions of access control (permissions, interdictions, obligations, and user rights) as run-time properties of information systems spec...
108
click to vote
ITSSA
2006
15 years 17 days ago
2006
: This paper proposes a formal methodology for designing multi-agent systems based on stepwise refinements. The main contribution consists in providing a set of methodological prin...
107
Voted
B
1998
Springer
15 years 4 months ago
1998
Springer
Reactive systems can be designed graphically using statecharts. This paper presents a scheme for the translation of statecharts into the Abstract Machine Notation (AMN) of the B me...