2877 search results - page 207 / 576 » Computational Biology |
148
click to vote
ASM
2008
ASM
15 years 6 months ago
2008
ASM
Abstract. In this paper we examine the difference between model checking high-level and low-level models. In particular, we compare the ProB model checker for the B-method and the ...
134
click to vote
ASM
2008
ASM
15 years 6 months ago
2008
ASM
The ingredients of typical model based development via refinement are re-examined, and some well known frameworks are reviewed in that light, drawing out commonalities and differen...
124
click to vote
ASM
2008
ASM
15 years 6 months ago
2008
ASM
The transition from classical B [2] to the Event-B language and method [3] has seen the removal of some forms of model structuring and composition, with the intention of reinventin...
163
click to vote
ASM
2008
ASM
15 years 6 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...
132
click to vote
ASM
2008
ASM
15 years 6 months ago
2008
ASM
This paper describes the formal modeling and analysis of a design for a flash-based filesystem in Alloy. We model the basic operations of a filesystem as well as features that are ...