Suchergebnisse - "Spec- ifying and Verifying and Reasoning about Programs—Invariants"

Z.: Verification of parameterized concurrent programs by modular reasoning about data and control

Autoren: Azadeh Farzan Zachary Kincaid The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Azadeh Farzan Zachary Kincaid The Pennsylvania State University CiteSeerX Archives

Quelle: http://www.cs.toronto.edu/~zkincaid/pub/popl12.pdf.

Schlagwörter: Categories and Subject Descriptors D.2.4 [Software Engineer- ing, Software/Program Verification—Assertion Checkers, Cor- rectness Proofs, F.3.1 [Logics and Meanings of Programs, Spec- ifying and Verifying and Reasoning about Programs—Invariants, Assertions, D.3.1 [Programming Languages, Formal Definitions and Theory—Semantics, D.4.6 [Operating Systems, Security and Protection—Verification General Terms Verification, Algorithms, Reliability Keywords Concurrency, Abstract Interpretation, Compositional Reasoning, Data Flow Graphs, Parameterized Programs, Thread Invariants

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.454.2594; http://www.cs.toronto.edu/~zkincaid/pub/popl12.pdf

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.454.2594
http://www.cs.toronto.edu/~zkincaid/pub/popl12.pdf