The Logic of Events, a framework to reason about distributed systems
MetadataShow full item record
Bickford, Mark; Constable, Robert; Rahli, Vincent
We present a logical framework to reason about distributed systems called the Logic of Events. This logic has been formalized in Nuprl. We developed a suite of tools and tactics in Nuprl to reason about event classes. We also developed a programming language called EventML which allows programmers to write specifications of distributed protocols.
2012 Languages for Distributed Algorithms (LADA) workshop
distributed systems; formal methods; specification; verification
This was also a position paper at the 2012 Languages for Distributed Algorithms (LADA) workshop