Formal verification of Unreliable Failure Detectors in Partially Synchronous Systems.

Muhammad Atif Mohammad Reza Mousavi Ammar Osaiweran

Published in: SAC (2012)

Keyphrases

formal verification
complex systems
automated verification
computer systems
model checking
domain independent
management system
neural network
expert systems
software engineering
object detection
reverse engineering
bounded model checking