Sciweavers

Share
SBMF
2009
Springer
126views Formal Methods» more  SBMF 2009»
10 years 2 months ago
Undecidability Results for Distributed Probabilistic Systems
Abstract. In the verification of concurrent systems involving probabilities, the aim is to find out the maximum/minimum probability that a given event occurs (examples of such ev...
Sergio Giro
SBMF
2009
Springer
10 years 4 months ago
Towards Safe Design of Synchronous Bus Protocols in Event-B
Ricardo Bedin França, Leandro Buss Becker, ...
SBMF
2009
Springer
10 years 4 months ago
Corecursive Algebras: A Study of General Structured Corecursion
Motivated by issues in designing practical total functional programming languages, we are interested in structured recursive equations that uniquely describe a function not because...
Venanzio Capretta, Tarmo Uustalu, Varmo Vene
SBMF
2009
Springer
156views Formal Methods» more  SBMF 2009»
10 years 4 months ago
Applying Event and Machine Decomposition to a Flash-Based Filestore in Event-B
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...
Kriangsak Damchoom, Michael J. Butler
SBMF
2009
Springer
105views Formal Methods» more  SBMF 2009»
10 years 4 months ago
Verifying Compiled File System Code
Abstract. This paper presents a case study on retrospective verication of the Linux Virtual File System (VFS), which is aimed at checking for violations of API usage rules and mem...
Jan Tobias Mühlberg, Gerald Lüttgen
SBMF
2009
Springer
10 years 4 months ago
A Simple and General Theoretical Account for Abstract Types
Types Hongwei Xi Boston University Work partly funded by NSF grants no. CCR-0229480 and no. CCF-0702665 and General Theoretical Account for Abstract Types – p.1/20
Hongwei Xi
SBMF
2009
Springer
184views Formal Methods» more  SBMF 2009»
10 years 4 months ago
Concolic Testing of the Multi-sector Read Operation for Flash Memory File System
In today’s information society, flash memory has become a virtually indispensable component, particularly for mobile devices. In order for mobile devices to operate successfully...
Moonzoo Kim, Yunho Kim
books