Search events for 'all'
Program Verification: a 70-Year History
FormaliSE 2021 When: Tue 18 May 2021 15:30 - 16:30 People: Moshe Vardi
… of a program, its compiler, and the hardware of the computer have all been …
Formal characterization and efficient verification of a biological robustness property
FormaliSE 2021 When: Thu 20 May 2021 11:00 - 11:30 People: Lucia Nasti, Roberta Gori, Paolo Milazzo
… to consider all the possible parameter configurations. This is a process that can entail …
PEQcheck: Localized and Context-aware Checking of Functional Equivalence
FormaliSE 2021 When: Wed 19 May 2021 15:30 - 16:00 People: Marie-Christine Jakobs
… A refactoring must preserve the program’s functionality. However, not all refactorings are correct. Thus, preservation of the functionality must be checked. Since programs are rarely formally specified, we use the original program …
How much Specification is Enough? Mutation Analysis for Software Contracts
FormaliSE 2021 When: Tue 18 May 2021 14:30 - 15:00 People: Alexander Knüppel, Leon Schaer, Ina Schaefer
… specifications, covering only a fraction of all functional properties. As a consequence …
GUIDO: Automated Guidance for the Configuration of Deductive Program Verifiers
FormaliSE 2021 When: Wed 19 May 2021 16:30 - 17:00 People: Alexander Knüppel, Thomas Thüm, Ina Schaefer
… verification at all. In particular for configurable program verifiers based on theorem …