Open AccessFormal Verification of Distributed Checkpointing Using Event-B
Author(s) -
Girish Chandra,
Raghuraj Singh Suryavanshi,
Divakar Yadav
Publication year - 2015
Publication title -
international journal of computer science and information technology
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
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom