348 search results - page 4 / 70 » Verification of Language Based Fault-Tolerance |
ICFP
2006
ACM
15 years 9 months ago
2006
ACM
A transient hardware fault occurs when an energetic particle strikes a transistor, causing it to change state. These faults do not cause permanent damage, but may result in incorr...
ICFP
2007
ACM
15 years 9 months ago
2007
ACM
We present a model checker for verifying distributed programs written in the Erlang programming language. Providing a model checker for Erlang is especially rewarding since the la...
122
click to vote
GLVLSI
2009
IEEE
14 years 7 months ago
2009
IEEE
To assist in dynamic assertion-based verification, we present a method to automatically build a test vector generator from a temporal property. Based on the duality between monito...
ACSW
2006
14 years 11 months ago
2006
Most languages used for developing web services and clients exhibit properties which make calling remote functions across a network a non-trivial task. The type systems used by ob...
190
click to vote
PADL
2009
Springer
15 years 10 months ago
2009
Springer
Declarative Networking has been recently promoted as a high-level programming paradigm to more conveniently describe and implement systems that run in a distributed fashion over a ...