149 search results - page 12 / 30 » Experiences with formal specification of fault-tolerant file... |
145
Voted
FMICS
2009
Springer
15 years 5 months ago
2009
Springer
The main limitation of software model checking is that, due to state explosion, it does not scale to real-world multi-threaded programs. One of the reasons is that current software...
111
Voted
FM
1999
Springer
15 years 6 months ago
1999
Springer
Abstract. Using graphical description techniques for formal system development has become a common approach in many tools. Often multiple description techniques are used to represe...
147
Voted
FDL
2007
IEEE
15 years 8 months ago
2007
IEEE
SystemVerilog encapsulates both design description and verification properties in one language and provides a unified environment for engineers who have the formidable challenge o...
133
Voted
CLUSTER
2002
IEEE
15 years 1 months ago
2002
IEEE
Data replication is a key issue in a Data Grid and can be managed in different ways and at different levels of granularity: for example, at the file level or object level. In the ...
102
click to vote
ISARCS
2010
15 years 3 months ago
2010
Methods of formal description and verification represent a viable way for achieving fundamentally bug-free software. However, in reality only a small subset of the existing operati...