Open AccessFormal Verification of Distributed Checkpointing Using Event-B
Author(s) -
Girish Chandra,
Raghuraj Suryavanshi,
Divakar Yadav
Publication year - 2015
Publication title -
international journal of computer science and information technology/international journal of computer science and information technology (chennai. print)
Language(s) - English
Resource type - Journals
eISSN - 0975-4660
pISSN - 0975-3826
DOI - 10.5121/ijcsit.2015.7504
Subject(s) - computer science , event (particle physics) , formal verification , distributed computing , programming language , quantum mechanics , physics