Jerome White

Verification of Distributed Systems: From Specification to Implementation

Under review: Formal Aspects of Computing

facs2009.pdf, facs2009.v2.pdf
Formal methods and theorem proving using PVS

Verification and Validation MURI hands-on workshop

lib-localglobal.zip, pvs.pilotto-white.pdf
Towards Verified Distributed Software Through Refinement of Formal Archetypes

Second IFIP Working Conference on Verified Software: Theories, Tools and Experiments Workshop on Experiments

vstte.pdf, cgmw-refinement.pdf
Exploring Interfaces Between Computer Science and Control and Dynamical Systems

Center for the Mathematics of Information, April 24, 2008

Exploring Interfaces Between Computer Science and Control and Dynamical Systems.pdf