Skip to main content

Prospects for Program Verification (Tutorial)

Publisher page dblp

No abstract available.

BibTeX

@inproceedings{King:ICSE78,
  author    = {James C. King},
  title     = {Prospects for Program Verification {(Tutorial)}},
  booktitle = {ICSE},
  pages     = {71},
  publisher = {{IEEE} Computer Society},
  year      = {1978},
}

Related papers

Machine learning and natural language processing for automating software testing (tutorial) FSE 2022
Theorem Proving for Verification (Invited Tutorial) CAV 2008
Learning Algorithms and Formal Verification (Invited Tutorial) VMCAI 2007
Infinite Games and Verification (Extended Abstract of a Tutorial) CAV 2002
Assertion-Based Verification: Industry Myths to Realities (Invited Tutorial) CAV 2008
Logic and Compositional Verification of Hybrid Systems - (Invited Tutorial) CAV 2011
Invited Tutorial: Verification of Infinite-State and Parameterized Systems CAV 2000
A JML Tutorial: Modular Specification and Verification of Functional Behavior for Java CAV 2007