User Experience with Language-Independent Formal Verification

Suhabe Bugrara

User Experience with Language-Independent Formal Verification

Programming Languages 2019-12-09 v1

Authors: Suhabe Bugrara

Abstract

The goal of this paper is to help mainstream programmers routinely use formal verification on their smart contracts by 1) proposing a new YAML-format for writing general-purpose formal specifications, 2) demonstrating how a formal specification can be incrementally built up without needing advanced training, and 3) showing how formal specifications can be tested by using program mutation.

Keywords

formal verification programming languages program analysis

Cite

@article{arxiv.1912.02951,
  title  = {User Experience with Language-Independent Formal Verification},
  author = {Suhabe Bugrara},
  journal= {arXiv preprint arXiv:1912.02951},
  year   = {2019}
}

Related papers

View all related →