We 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 suc
International audienceDistributed applications are difficult to program reliably and securely. Depen...
Language: English Existing skills or strong desire to learn: • functional programming (e.g. ML or Ha...
International audienceThe development of scientific software relies on the collaboration of various ...
We argue that lightweight, language-based verification is poised to enter mainstream industrial use,...
10.1016/j.entcs.2006.10.041Electronic Notes in Theoretical Computer Science1747129-14
Formal verification of real-world software systems remains challenging for a number of reasons, incl...
Because of our increasing dependence on software in every aspect of our lives, it is crucial that ou...
Most existing programming languages provide little support to formally state and prove properties ab...
AbstractRecent developments in the area of expressive types have the prospect to supply the ordinary...
International audienceWe present a new, completely redesigned, version of F*, a language that works ...
Language-based security leverages program analysis and program rewriting to enforce security policie...
Language: English Existing skills or strong desire to learn: • functional programming (e.g. ML or Ha...
Abstract. We compare Haskell with Standard ML as programming languages for verification tools based ...
We present language-independent formal methods that are parameterized by the operational semantics o...
Formal software verification is currently contributing to new generations of software systems that a...
International audienceDistributed applications are difficult to program reliably and securely. Depen...
Language: English Existing skills or strong desire to learn: • functional programming (e.g. ML or Ha...
International audienceThe development of scientific software relies on the collaboration of various ...
We argue that lightweight, language-based verification is poised to enter mainstream industrial use,...
10.1016/j.entcs.2006.10.041Electronic Notes in Theoretical Computer Science1747129-14
Formal verification of real-world software systems remains challenging for a number of reasons, incl...
Because of our increasing dependence on software in every aspect of our lives, it is crucial that ou...
Most existing programming languages provide little support to formally state and prove properties ab...
AbstractRecent developments in the area of expressive types have the prospect to supply the ordinary...
International audienceWe present a new, completely redesigned, version of F*, a language that works ...
Language-based security leverages program analysis and program rewriting to enforce security policie...
Language: English Existing skills or strong desire to learn: • functional programming (e.g. ML or Ha...
Abstract. We compare Haskell with Standard ML as programming languages for verification tools based ...
We present language-independent formal methods that are parameterized by the operational semantics o...
Formal software verification is currently contributing to new generations of software systems that a...
International audienceDistributed applications are difficult to program reliably and securely. Depen...
Language: English Existing skills or strong desire to learn: • functional programming (e.g. ML or Ha...
International audienceThe development of scientific software relies on the collaboration of various ...
DOI
Add to ORKG