Category: Formal Methods
Enhancing Autonomy with Trusted Cognitive Modeling
S. Bhattacharyya
Jennifer A. Davis
Thomas L. Vogl
Matthew A. Fix
Angus L. McLean
Michael P. Matessa
Laura M. Smith-Velazquez
SIMPAL: A Compositional Reasoning Framework for Imperative Programs
Lucas G. Wagner
David A. Greve
Andrew J. Gacek
Creating Formally Verified Components for Layered Assurance with an LLVM to ACL2 Translator
David S. Hardin
Jedidiah R. McClurg
Jennifer A. Davis
SpeAR v2.0: Formalized Past LTL Specification and Analysis of Requirements
Aaron W. Fifarek
Lucas G. Wagner
Erika R. Hoffman
Benjamin D. Rodes
M. Anthony Aiello
Jennifer A. Davis
Study on the Barriers to the Industrial Adoption of Formal Methods
Jennifer A. Davis
Matthew Clark
Darren D. Cofer
Aaron Fifarek
Jacob Hinchman
Jonathan Hoffman
Brian Hulbert
Steven P. Miller
Lucas G. Wagner
Qualification of a Model Checker for Avionics Software Verification
Lucas G. Wagner
Alain Mebsout
Cesare Tinelli
Darren D. Cofer
Konrad L. Slind
Video: High-Assurance Cyber Military Systems (HACMS)
Darren D. Cofer, Ph.D.
Andrew J. Gacek, Ph.D.
John D. Backes, Ph.D.
Konrad L. Slind, Ph.D.
From Design Contracts to Component Requirements Verification
Jing (Janet) Liu, Ph.D.
John D. Backes, Ph.D.
Darren D. Cofer, Ph.D.
Andrew J. Gacek, Ph.D.
Requirements and Architectures for Secure Vehicles
Michael W. Whalen, Ph.D.
Darren D. Cofer, Ph.D.
Andrew J. Gacek, Ph.D.
On Implementing Real-time Specification Patterns Using Observers
John D. Backes, Ph.D.
Michael W. Whalen, Ph.D.
Andrew J. Gacek, Ph.D.
John Komp