Back to Results
First PageMeta Content
SPIN model checker / OCaml / Model checking / Application programming interfaces / Secure Shell / Promela / Assertion / Type system / C / Computing / Software / Model checkers


SPLAT: A Tool for Model-Checking and Dynamically-Enforcing Abstractions Anil Madhavapeddy1 , David Scott2 , and Richard Sharp3 1 Computer Laboratory, University of Cambridge
Add to Reading List

Document Date: 2013-09-29 14:14:18

Open Document

File Size: 126,56 KB

Share Result on Facebook

Company

Pearson / IETF Secure Shell Working Group / Richard Sharp3 1 Computer Laboratory / Intel / /

/

Event

FDA Phase / /

Facility

University of Cambridge / /

IndustryTerm

software model-checking / Internet services / protocol server / server applications / type systems / /

OperatingSystem

UNIX / BSD / /

Organization

University of Cambridge / CERT Coordination Center / /

Person

Thomas A. Henzinger / Markus Friedl / Rupak Majumdar / Westley Weimer / Ranjit Jhala / George C. Necula / Niels Provos / Gregoire Sutre / Gerard J. Holzmann / Peter Honeyman / Bill Sommerfeld / /

Position

producer / programmer / /

Product

Splat / SSHv2 / /

ProgrammingLanguage

Perl / Promela / Objective Caml / Java / Erlang / Ruby / Python / C++ / /

PublishedMedium

Lecture Notes in Computer Science / /

Technology

encryption / DNS / Java / UNIX / API / Perl / SSH protocol / protocol combining transport-level encryption / /

URL

http /

SocialTag