-
Promised Consistency for Rollback Recovery
Checkpointing protocols usually rely on the constitution of consistent global states, from which the application can restart upon a failure. This paper proposes a new... -
Web services composition verification using satisfiability solving
International audience -
Formal object-oriented development of a voting system test oracle
International audience
