Mopsa-C: Improved Verification for C Programs, Simple Validation of Correctness Witnesses (Competition Contribution)

Monat, Raphaël; Milanese, Marco; Parolini, Francesco; Boillot, Jérôme; Ouadjaout, Abdelraouf; Miné, Antoine

doi:10.1007/978-3-031-57256-2_26

Search citation statements

Order By: Relevance

Paper Sections

Select...

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2024

Publication Types

Select...

Book4

Article1

Relationship

Self Cite0

Independent5

Authors

Journals

Cited by 5 publications

References 21 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

State of the Art in Software Verification and Witness Validation: SV-COMP 2024

Beyer

2024

Lecture Notes in Computer Science

View full text Add to dashboard Cite

The 13th edition of the Competition on Software Verification (SV-COMP 2024) was the largest competition of its kind so far: A total of 76 tools for verification and witness validation were compared. The competition evaluated 59 verification systems and 17 validation systems from 34 teams from 12 countries. This yields a good overview of the state of the art in tools for software verification. The competition was executed on a benchmark set with 30 300 verification tasks for C programs and 587 . verification tasks for Java programs. The specifications again included reachability, memory safety, overflows, and termination. This year was the second time that the competition had an extra competition track on witness validation. We introduced a new witness format 2.0, and a new scoring schema for the validation track. All meta data about the verification and validation tools are available in the FM-Tools repository.

show abstract