Skip to Main Content Area

Not a member?

Click here to register!
Forgot username or password?

Theorem Proving

file

Formal Verification of Distributed Aircraft Controllers

Submitted by sloos@cs.cmu.edu on Fri, 05/16/2014 - 5:25pm. Contributors:

file

High-Performance Regular Expression Processing for Cross-Domain Systems with High Assurance Requirements

Submitted by brad_martin on Tue, 04/22/2014 - 10:47am. Contributors:

Presented as part of the 2014 HCSS conference.

Abstract:

file

Connecting Safety Verification with Implementable Hybrid Programs

Submitted by sloos@cs.cmu.edu on Wed, 02/12/2014 - 4:59pm. Contributor:

Sarah M. Loos

file

Automatic Theorem Proving and SMT

Submitted by TimTh on Mon, 05/13/2013 - 4:24pm. Contributor:

Nikolaj Bjørner

Presented as part of the 2013 HCSS conference.

ABSTRACT

file

Lessons from 20 Years of Industrial Formal Methods

Submitted by TimTh on Fri, 09/28/2012 - 11:07pm. Contributor:

Steve Miller

Terms of Use | ©2023. CPS-VO