Back to Results
First PageMeta Content
Applied mathematics / Program logic / Substructural logic / Formal methods / Formal verification / Hoare logic / Correctness / Communications protocol / Separation logic / Theoretical computer science / Mathematics / Logic in computer science


Formal Verification of Distributed Programs using Session Types and Coq Morten Fangel Jensen Advisors: Jesper Bengtson and Fabrizio Montesi Submitted: June 2014
Add to Reading List

Document Date: 2014-06-02 05:37:12

Open Document

File Size: 398,00 KB

Share Result on Facebook

IndustryTerm

math server / binary search / /

Person

Fabrizio Montesi Submitted / Jesper Bengtson / /

Position

author / author for this thesis / advisors / /

ProgrammingLanguage

Java / /

Technology

Session Type protocols / Java / Session Types protocols / /

SocialTag