University of Cambridge > Talks.cam > Isaac Newton Institute Seminar Series > Verified Software Toolchains: CN: A separation logic refinement type system for C

  Browse A-Z

Log in

Cambridge users (raven)details Other usersdetails No account?details

Information on

Subscribing to talksdetails Finding a talkdetails Adding a talkdetails Disseminating talksdetails Help and Documentationdetails

Verified Software Toolchains: CN: A separation logic refinement type system for C

Add to your list(s) Download to your calendar using vCal

If you have a question about this talk, please contact nobody.

VSO2 - Verified software

In this talk, I’ll be presenting a new a type system combining separation logic and refinement types aimed at verifying real-world systems C code.  

This talk is part of the Isaac Newton Institute Seminar Series series.

Tell a friend about this talk:

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

The Cavendish Laboratory 1932-1953, Decline and Regeneration Pharmacology Lunch Club Cambridge Review of International Affairs

Other talks

Advancing the Functional Utility of Liquid Crystalline Elastomers at the Nexus of Computation, Materials Processing, and Chemistry CHIMERA: Collaborative Healthcare Innovation through Mathematics, Engineering and AI. SUMMER BREAK Oral Session 9 Immunotherapy: A piece of the puzzle for treating brain cancer A Landmarking Approach for the Dynamic Scheduling of Cardiovascular Risk Assessments
 

© 2006-2024 Talks.cam, University of Cambridge. Contact Us | Help and Documentation | Privacy and Publicity