University of Cambridge > Talks.cam > Isaac Newton Institute Seminar Series > Model Checking: SMT-Based Software Model Checking

  Browse A-Z

Log in

University Account External (via Google)

🔐 Log In

Information on

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

ℹ️ Information

Model Checking: SMT-Based Software Model Checking

Download to your calendar using vCal

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

VSO2 - Verified software

There are several successful SMT -based model-checking approaches for software verification, including bounded model checking (BMC), predicate abstraction, IMPACT , k-induction, property-driven reachability (IC3), and interpolation-based model checking (IMC). We have implemented all six algorithms in the open-source verification framework CPAchecker, and give an overview over their performance characteristics. 

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

This talk is included in these lists:

Note that ex-directory lists are not shown.

Other lists

Dining Hall, Clare Hall, Herschel Road CB3 9AL Martin Centre Research Seminar Series - 40th Annual Series of Lunchtime Lectures https://ukri.zoom.us/j/92946956029

Other talks

Polar Oceans Seminar Talk Online Causal Inference Seminar The Play Paradox: How video games build better humans How Far Can Good Go Without God? The Limits of a Naturalistic Ethic Complete and Submit Project Choice Forms Spectral theory for Dirac operators with singular potentials
 

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