https://lmf.cnrs.fr/News/VerifyThis-2026?lang=fr
LMF News/LMF members win at VerifyThis 2026
news memberslmfwinverifythis
https://toccata.gitlabpages.inria.fr/toccata/gallery/verifythis_2024_challenge0.en.html
VerifyThis 2024: Challenge 0
verifythischallenge
https://toccata.gitlabpages.inria.fr/toccata/gallery/verifythis_fm2012_treedel.en.html
VerifyThis @ FM 2012, problem 3
verifythisfmproblem
https://verifythis.github.io/ltc/
VerifyThis Long-Term Challenge
long termverifythischallenge
https://toccata.gitlabpages.inria.fr/toccata/gallery/verifythis_2018_mind_the_gap_1.en.html
VerifyThis 2018: mind the gap
verifythismindgap
https://toccata.gitlabpages.inria.fr/toccata/gallery/verifythis2021.en.html
VerifyThis @ ETAPS 2021
verifythisetaps
https://toccata.gitlabpages.inria.fr/toccata/gallery/verifythis_2018_register_allocation.en.html
VerifyThis 2018: Register allocation
verifythisregisterallocation
https://toccata.gitlabpages.inria.fr/toccata/gallery/verifythis_2021_lexicographic_permutations_1.en.html
VerifyThis 2021: Lexicographic Permutations (version 1)
verifythispermutationsversion
https://toccata.gitlabpages.inria.fr/toccata/gallery/verifythis_2021_lexicographic_permutations_2.en.html
VerifyThis 2021: Lexicographic Permutations (version 2)
verifythispermutationsversion
https://toccata.gitlabpages.inria.fr/toccata/gallery/verifythis_2018_array_based_queuing_lock_1.en.html
VerifyThis 2018: Array-based queuing lock
verifythisarraybasedqueuinglock
https://toccata.gitlabpages.inria.fr/toccata/gallery/verifythis_2017_pair_insertion_sort.en.html
VerifyThis 2017: Pair Insertion Sort
verifythispairinsertionsort
https://toccata.gitlabpages.inria.fr/toccata/gallery/foveoos.en.html
The VerifyThis Benchmarks
verifythisbenchmarks
https://toccata.gitlabpages.inria.fr/toccata/gallery/fm2012comp.en.html
VerifyThis @ FM2012
verifythis