Concept
Formal methods
Related publications (377)
Automated Formal Verification of Software Network Functions
Formally verifying the correctness of software is necessary to merit the trust people put in software systems. Currently, formal verification requires human effort to prove that a piece of code matches its specification and code changes to improve verifiab ...
EPFL2024Formal Autograding in a Classroom (Experience Report)
Viktor Kuncak, Mario Bucev, Dragana Milovancevic, Samuel Chassot
We report our experience in enhancing automated grading in a functional programming course using formal verification. In our approach, we deploy a verifier for Scala programs to check equivalences between student submissions and reference solutions. Conseq ...
2024Degrees of Separation: A Flexible Type System for Safe Concurrency
Martin Odersky, Yichen Xu, Aleksander Slawomir Boruch-Gruszecki
Data races have long been a notorious problem in concurrent programming. They are subtle to detect, and lead to non-deterministic behaviours. There has been a lot of interest in type systems that statically guarantee data race freedom. Significant progress ...
2024Analytical Computation of the Sensitivity Coefficients in Hybrid AC/DC Networks
Mario Paolone, Willem Lambrichts
In this paper, we present a model for the analytical computation of the power flow sensitivity coefficients (SCs) for hybrid AC/DC networks. The SCs are defined as the partial derivates of the nodal voltages with respect to the active and reactive power in ...
2024System for predicting a prognosis of the neuropsychological and/or neuropsychiatric status in a subject
The present invention relates to systems and methods for predicting a prognosis of the neuropsychological and/or neuropsychiatric status in a subject based on reports of Minor Hallucination (MH) events in combination with electrophysiological data of the s ...
2024Recovering Static and Time-Varying Communities Using Persistent Edges
Maximilien Claude Robert Dreveton
This article focuses on spectral methods for recovering communities in temporal networks. In the case of fixed communities, spectral clustering on the simple time-aggregated graph (i.e., the weighted graph formed by the sum of the interactions over all tem ...
Ieee Computer Soc2024Not Yet Another Digital ID: Privacy-Preserving Humanitarian Aid Distribution
Carmela González Troncoso, Boya Wang, Wouter Lueks, Justinas Sukaitis
Humanitarian aid-distribution programs help bring physical goods to people in need. Traditional paper-based solutions to support aid distribution do not scale to large populations and are hard to secure. Existing digital solutions solve these issues, at th ...
IEEE COMPUTER SOC2023Stochastic Models for Comparison-based Search
In this thesis we study a problem of searching in a space of objects using comparisons. To navigate through the space to the target object , we ask a sequence of questions of the form ``which object or is closer to ?'' for which we observe no ...
EPFL2023Setting priorities in CNF particle size measurement: What is needed vs. what is feasible
Measuring the size of cellulose nanomaterials can be challenging, especially in the case of branched and entangled cellulose nanofibrils (CNFs). The International Organization for Standardization, Technical Committee 6, Task Group 1-Cellulosic Nanomaterial ...
TECH ASSOC PULP PAPER IND INC2023The Return of the Piazza: Tirana, and the Politics of Urban Renaissance
This essay discusses about the renovation project for Skanderbeg Square in Tirana, designed by Belgium office 51N4E. The text put forward a critical reading of the project within the framework of the politics of the ‘Urban Renaissance’, launched by Prime M ...
2023