Towards making formal methods normal: meeting developers where they are

Alastair D. Reid, Luke Church, Shaked Flur, Sarah de Haas, Maritza Johnson, Ben Laurie
[arXiv] [Google Scholar] [DBLP] [Citeseer] [url]

HATRA 2020: Human Aspects of Types and Reasoning Assistants
arXiv 2010.16345 cs.LO
30 October 2020
Note(s): Rust language, Usability, Property-based testing, symbolic execution, fuzz testing, bounded model checking