Finding Security Vulnerabilities in a Network Protocol using Parameterized Systems (abstract)

A Model for Capturing and Replaying Proof Strategies (abstract)

A Verification Condition Visualizer (abstract)

What Gives? A Hybrid Algorithm for Error Explanation (abstract)

Efficient Refinement Checking in VCC (abstract)

Formalizing Semantics with an Automatic Program Verifier (abstract)

The KeY Platform for Verification and Analysis of Java Programs (abstract)

Using Promela in a Fully Verified Executable LTL Model Checker (SHORT) (abstract)

Foundations and Technology Competitions Award Ceremony (abstract)

FLoC Olympic Games Award Ceremony 1 (abstract)

FLoC Closing Week 1 (abstract)

Store Buffer Reduction with MMUs (abstract)

Separation Kernel Verification: the XtratuM Case Study (abstract)

Separation algebras for C verification in Coq (abstract)

Automatically verified implementation of data structures based on AVL trees (SHORT) (abstract)

Up and Out: Scaling Formal Analysis Using Model-Based Development and Architecture Modeling (abstract)

A logical analysis of framing for specifications with pure method calls (abstract)

A certifying frontend for (sub)polyhedral abstract domains (abstract)

Certification of Nontermination Proofs using Strategies and Nonlooping Derivations (abstract)

Model Checking Parameterized Timed Systems (abstract)

Timed Refinements for Verification of Real-Time Object Code Programs (abstract)

Formal Modeling and Verification of CloudProxy (abstract)