ASE 2023
Mon 11 - Fri 15 September 2023 Kirchberg, Luxembourg
ASE 2023 (series) / Most Influential Papers (MIP) /

SMT-Based Bounded Model Checking for Embedded ANSI-C Software

Lucas C. Cordeiro, Bernd Fischer, Joao Marques-Silva
ASE 2023 Most Influential Papers (MIP)
Wed 13 Sep 2023 08:30 - 08:42 at Room C - MIP awards Chair(s): Myra Cohen
https://ssvlab.github.io/lucasccordeiro/talks/ase2023_slides.pdf
SMT-based Bounded Model Checking for Embedded ANSI-C Software (ase2023_slides.pdf)1.31MiB
Lucas C. Cordeiro
Lucas C. Cordeiro
University of Manchester, UK and Federal University of Amazonas, Brazil
United Kingdom
Bernd Fischer
Bernd Fischer
Stellenbosch University
South Africa
small-avatar
Joao Marques-Silva
IRIT, CNRS, Toulouse
France

Wed 13 Sep

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

08:30 - 09:00
MIP awardsMost Influential Papers (MIP) at Room C
Chair(s): Myra Cohen Iowa State University
08:30
12m
Talk
SMT-Based Bounded Model Checking for Embedded ANSI-C Software
Most Influential Papers (MIP)
Lucas C. Cordeiro University of Manchester, UK and Federal University of Amazonas, Brazil, Bernd Fischer Stellenbosch University, Joao Marques-Silva IRIT, CNRS, Toulouse
Link to publication File Attached
08:42
12m
Talk
Spectrum-Based Multiple Fault Localization
Most Influential Papers (MIP)
Rui Abreu Faculty of Engineering, University of Porto, Peter Zoeteweij , Arjan J.C. van Gemund