Výsledky vyhledávání - "Specifying and Verifying and Reasoning about Programs—Mechanical verification General Terms"

Types, Bytes and Separation Logic

Autoři: Harvey Tuch Gerwin Klein Michael Norrish a další

Přispěvatelé: Harvey Tuch Gerwin Klein Michael Norrish a další

Zdroj: http://www.nicta.com.au/people/norrishm/attachments/bibliographies_and_papers/2007/popl2007.pdf.

Témata: ings of Programs, Specifying and Verifying and Reasoning about Programs—Mechanical verification General Terms Language, Theory, Verification Keywords Separation Logic, Interactive Theorem Proving

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.461.5649; http://www.nicta.com.au/people/norrishm/attachments/bibliographies_and_papers/2007/popl2007.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.461.5649
http://www.nicta.com.au/people/norrishm/attachments/bibliographies_and_papers/2007/popl2007.pdf

Checking Properties within Fairness and Behavior Abstractions

Autoři: Ulrich Ultes-nitsche The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Ulrich Ultes-nitsche The Pennsylvania State University CiteSeerX Archives

Zdroj: http://arxiv.org/pdf/cs/0101017v1.pdf.

Témata: Categories and Subject Descriptors, D.2.4 [Software Engineering, Software/Program Verification—Model checking, F.3.1 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs—Mechanical verification General Terms, Theory, Verification Additional Key Words and Phrases, Relative liveness properties, satisfaction within fairness, behavior abstraction, weakly continuation-closed

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.341.5597; http://arxiv.org/pdf/cs/0101017v1.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.341.5597
http://arxiv.org/pdf/cs/0101017v1.pdf

Model checking stochastic automata

Autoři: Jeremy Bryans Howard Bowman John Derrick a další

Přispěvatelé: Jeremy Bryans Howard Bowman John Derrick a další

Zdroj: http://www.dirc.org.uk/publications/articles/papers/108.pdf.

Témata: Categories and Subject Descriptors, D.2.4 [Software Engineering, Software/Program Verification—Formal methods, Model checking, F.3.1 [Logics and Meanings of Programs, Specifying and Verifying and Reasoning about Programs—Mechanical verification General Terms, Verification, Performance Additional Key Words and Phrases, Distributed systems, stochastic automata

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.95.9522; http://www.dirc.org.uk/publications/articles/papers/108.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.95.9522
http://www.dirc.org.uk/publications/articles/papers/108.pdf