3 search results - page 1 / 1 » The B-Method for the Construction of Microkernel-Based Syste... |
B
2007
Springer
13 years 11 months ago
2007
Springer
SPLST
2003
13 years 6 months ago
2003
Abstract. The typechecking system of the formal method B is discussed. An inconsistency in the public definition of the B method, attributable to a flaw in the typechecking syste...
ASM
2008
ASM
13 years 6 months ago
2008
ASM
anguage (Event B), hence staying at the same abstraction level. Thus we take advantage from the Event B method: (i) it is possible to use the method during the whole development pr...