Formal Verification with Dafny

  title={Formal Verification with Dafny},
  author={Cedric Abano and Gordon Chu and Gabriel Eiseman and Justin Fu cabano},
  • Cedric Abano, Gordon Chu, +1 author Justin Fu cabano
  • Published 2014
Computer programming and software engineering have found their way into many facets of the current world. In certain industries, correct computer programs are needed fo operation. This absolute correctness could be proven by brute force, which involves passing in all possible test cases through a program. This technique is largely impractical, especially for complex programs that do not have a bounded input range. Alternatively, a more theoretical and feasible approach can be taken, using… CONTINUE READING
1 Citations
4 References
Similar Papers


Publications citing this paper.


Publications referenced by this paper.
Showing 1-4 of 4 references

Reversible Debugging Software,

  • T. Britton, L. Jeng, G. Carver, P. Cheak, T. Katzenellenbogen
  • “Hoare Logic,”
  • 2012

A Comparison Between Five Models Of Software Engineering

  • A. Govardhan Munassar
  • Technical Analysis of the August 14 , 2003…

Dafny : A Language and Program Verifier for Functional Correctness

  • K. R. M. Leino Koenig

Similar Papers

Loading similar papers…