Add to ORKGWe argue that lightweight, language-based verification is poised to enter mainstream industrial use, where it will have a major impact on software quality and reliability. We explain how language-based approaches based on so-called dependent types are already being adopted in functional programming languages, and why such methods will be successful for mainstream use, where traditional formal methods have failed
Software engineers working in industry seldom try to apply formal methods to solve problems. There a...
Because of our increasing dependence on software in every aspect of our lives, it is crucial that ou...
It is a common belief that the rise of standardized software certification schemes like the Common C...
We argue that lightweight, language-based verification is poised to enter mainstream industrial use,...
We argue that lightweight, language-based verification is poised to enter mainstream industrial use,...
Program verification assumes a formal program specification. In software-intensive systems, such spe...
International audienceThe formal verification of programs have progressed tremendously in the last d...
Thesis (Ph.D.)--University of Washington, 2022Software defects can cause severe damage, because soft...
I attended my first software conference in 1968; it was organised by NATO with the title “The Softwa...
If software code is developed by humans, can we as users rely on its absolute correctness?\ud \ud To...
If software code is developed by humans, can we as users rely on its absolute correctness? Today's s...
The functional correctness of safety- and security-critical software is of utmost importance. Nowada...
International audienceIn a world where trusting software systems is increasingly important, formal m...
Functionality of software systems has exploded in part because of advances in programming-language s...
This roadmap describes ways that researchers in four areas -- specification languages, program gener...
Software engineers working in industry seldom try to apply formal methods to solve problems. There a...
Because of our increasing dependence on software in every aspect of our lives, it is crucial that ou...
It is a common belief that the rise of standardized software certification schemes like the Common C...
We argue that lightweight, language-based verification is poised to enter mainstream industrial use,...
We argue that lightweight, language-based verification is poised to enter mainstream industrial use,...
Program verification assumes a formal program specification. In software-intensive systems, such spe...
International audienceThe formal verification of programs have progressed tremendously in the last d...
Thesis (Ph.D.)--University of Washington, 2022Software defects can cause severe damage, because soft...
I attended my first software conference in 1968; it was organised by NATO with the title “The Softwa...
If software code is developed by humans, can we as users rely on its absolute correctness?\ud \ud To...
If software code is developed by humans, can we as users rely on its absolute correctness? Today's s...
The functional correctness of safety- and security-critical software is of utmost importance. Nowada...
International audienceIn a world where trusting software systems is increasingly important, formal m...
Functionality of software systems has exploded in part because of advances in programming-language s...
This roadmap describes ways that researchers in four areas -- specification languages, program gener...
Software engineers working in industry seldom try to apply formal methods to solve problems. There a...
Because of our increasing dependence on software in every aspect of our lives, it is crucial that ou...
It is a common belief that the rise of standardized software certification schemes like the Common C...