Specification and verification: the Spec# experience

@article{Barnett2011SpecificationAV,
  title={Specification and verification: the Spec# experience},
  author={Mike Barnett and Manuel F{\"a}hndrich and K. Leino and Peter M{\"u}ller and W. Schulte and H. Venter},
  journal={Commun. ACM},
  year={2011},
  volume={54},
  pages={81-91}
}
Can a programming language really help programmers write better programs? 
170 Citations
VeriFast for Java: A Tutorial
  • 20
  • PDF
Getting Started with Dafny: A Guide
  • 17
  • PDF
Practical specification and verification with code contracts
  • 4
  • Highly Influenced
Reasoning Tradeoffs in Implicit Invocation and Aspect Oriented Languages
  • 1
  • PDF
Nagini: A Static Verifier for Python
  • 11
  • PDF
Deductive verification of object-oriented software: dynamic frames, dynamic logic and predicate abstraction
  • 55
...
1
2
3
4
5
...

References

SHOWING 1-3 OF 3 REFERENCES
Preliminary design of JML: a behavioral interface specification language for java
  • 751
  • Highly Influential
  • PDF
Spec# tutorial. In LASER summer school lecture
  • 2009
物件導向軟體之架構(Object-Oriented Software Construction)探討
  • 5,754
  • Highly Influential