Suchergebnisse - "Software/Program Verification— model checking General Terms Verification"

Breaking up is hard to do: an investigation of decomposition for assume-guarantee reasoning

Autoren: Jamieson M. Cobleigh George S. Avrunin Lori A. Clarke et al.

Weitere Verfasser: Jamieson M. Cobleigh George S. Avrunin Lori A. Clarke et al.

Quelle: http://laser.cs.umass.edu/techreports/04-22.pdf.

Schlagwörter: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification— model checking General Terms Verification, Experimentation

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.615.9816

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.615.9816
http://laser.cs.umass.edu/techreports/04-22.pdf