The Spec# Programming System: Challenges and Directions

  • Mike Barnett ,
  • ,
  • Manuel Fähndrich ,
  • Bart Jacobs ,
  • Rustan Leino ,
  • Wolfram Schulte ,
  • Herman Venter

VSTTE 2005: Verified Software: Theories, Tools, Experiments |

Published by Springer-Verlag Berlin Heidelberg

Publication | Publication | Publication

Download BibTex

The Spec# programming system [2] is a new attempt to increase the quality of general purpose, industrial software. Using old wisdom, we propose the use of specifications to make programmer assumptions explicit. Using modern technology, we propose the use of tools to enforce the specifications. To increase its chances of having impact, we want to design the system so that it can be widely adopted.