News

• We published the PRISM framework

  26 February 2025 by Reto Weber

  Bertrand Meyer and Reto Weber have published an extended and revised version of the theory of programs, now called PRISM. This work involved a complete rework from the ground up, refining definitions and, most importantly, rigorously proving the claims presented in the paper.

• At the Swiss Verification Day 2025

  25 February 2025 by Ilgiz Mustafin

  On February 13th we have joined the Swiss Verification Day 2025 workshop at the Università della Svizzera italiana in Lugano, Switzerland.

• Li Huang completes her PhD

  21 January 2025 by Ilgiz Mustafin

  Last week on January 13th Li Huang defended her PhD thesis! She will get a double PhD degree from Constructor Institute of Technology and from Constructor University.

• At the 16th Alpine Verification Meeting (AVM’24)

  18 December 2024 by Ilgiz Mustafin

  In September 2024 our team participated in the 16th Alpine Verification Meeting (AVM’24) which took place in Freiburg im Breisgau, Germany.

• Two program repair benchmarks translated to Eiffel

  17 June 2024 by Ilgiz Mustafin

  Two datasets of programs with bugs were translated to Eiffel and fully verified with AutoProof. Downloads are available at maple-recursive-eiffel and buggy-java-jml-eiffel.