13 search results - page 1 / 3 » Formal verification of ASMs using MDGs |
90
Voted
JSA
2008
14 years 9 months ago
2008
We present a framework for the formal verification of abstract state machine (ASM) designs using the multiway decision graphs (MDG) tool. ASM is a state based language for describ...
GLVLSI
1999
IEEE
15 years 1 months ago
1999
IEEE
ASM
2010
ASM
14 years 12 months ago
2010
ASM
Abstract. Software development in B and Event-B generates proof obligations that have to be discharged using theorem provers. The cost of such developments therefore depends direct...
94
Voted
CIIA
2009
14 years 10 months ago
2009
Abstract. Formal verification of digital systems is achieved, today, using one of two main approaches: states exploration (mainly model checking and equivalence checking) or deduct...
109
click to vote
ASM
2008
ASM
14 years 11 months ago
2008
ASM
Abstract. The Mondex case study concerns the formal development and verification of an electronic purse protocol. Several groups have worked on its specification and mechanical ver...