Testing, Proof and Automation. An Integrated Approach

In the Proceedings of the 1st International Workshop of Automated Program Analysis, Testing and Verification. June 2000.

Simon Burton, John Clark and John McDermid

@inproceedings{Burton-00a,
  author    = {Simon Burton and John Clark and ANdy Galloway and John McDermid},
  title     = {Automated V&V for High Integrity Systems: A Targeted Formal Methods 
      Approach},
  booktitle = {In the Proceedings of the 5th NASA Langley Formal Methods Workshop. June 2000.},
  month     = {June},
  year      = {2000}
}

Back to Publications.