410 search results - page 1 / 82 » Tools for System Validation with B Abstract Machines |
ASM
2005
ASM
13 years 10 months ago
2005
ASM
SBMF
2009
Springer
13 years 11 months ago
2009
Springer
Abstract. Event-B is a formal method used for specifying and reasoning about systems. Rodin is a toolset for developing system models in Event-B. Our experiment which is outlined i...
LCPC
1999
Springer
13 years 9 months ago
1999
Springer
QSIC
2003
IEEE
13 years 10 months ago
2003
IEEE
The Abstract State Machine Language supports use-case oriented modeling in a faithful way. In this paper we discuss how the AsmL test tool, a new component of the AsmL tool environ...
FDL
2008
IEEE
13 years 6 months ago
2008
IEEE
This paper describes a scenario-based methodology em-level design validation based on the Abstract State Machines formal method. This scenario-based approach complements an existi...