Suchergebnisse - "Software/Program Verification General Terms Algorithms"

Compositional deadlock detection for rendezvous communication

Autoren: Baolin Shao Nalini Vasudevan Stephen A. Edwards et al.

Weitere Verfasser: Baolin Shao Nalini Vasudevan Stephen A. Edwards et al.

Quelle: http://www.cs.columbia.edu/~naliniv/papers/2009-emsoft-shim.pdf.

Schlagwörter: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification General Terms Algorithms, Verification Keywords SHIM, concurrency, static analysis, deadlock, divide-and-conquer

Dateibeschreibung: application/pdf

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

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.363.8441
http://www.cs.columbia.edu/~naliniv/papers/2009-emsoft-shim.pdf

Back to the Future -- Revisiting Precise Program Verification using SMT Solvers

Autoren: Shuvendu K. Lahiri Shaz Qadeer The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Shuvendu K. Lahiri Shaz Qadeer The Pennsylvania State University CiteSeerX Archives

Quelle: http://www.research.microsoft.com/~shuvendu/papers/popl2008-havoc.pdf.

Schlagwörter: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification General Terms Algorithms, Reliability, Verification Keywords Software verification, SMT solvers, decision procedures, heap-manipulating programs

Dateibeschreibung: application/pdf

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

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.132.2597
http://www.research.microsoft.com/~shuvendu/papers/popl2008-havoc.pdf

Static Analysis of Interrupt-driven Programs Synchronized via the Priority Ceiling Protocol

Autoren: Martin D. Schwarz Helmut Seidl Vesal Vojdani et al.

Weitere Verfasser: Martin D. Schwarz Helmut Seidl Vesal Vojdani et al.

Quelle: http://goblint.in.tum.de/papers/osek.pdf.

Schlagwörter: Programs, F.3.2 [Logics and meaning of programs, Semantics of Programming Languages—Program analysis, D.2.4 [Software Engineering, Software/Program Verification General Terms Algorithms, Theory, Verification Keywords inter-procedural analysis, abstract domains, interrupt- driven

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.653.4297; http://goblint.in.tum.de/papers/osek.pdf

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.653.4297
http://goblint.in.tum.de/papers/osek.pdf

Compositional Deadlock Detection for Rendezvous Communication

Autoren: Baolin Shao Nalini Vasudevan Stephen A. Edwards et al.

Weitere Verfasser: Baolin Shao Nalini Vasudevan Stephen A. Edwards et al.

Quelle: http://www.cs.columbia.edu/~sedwards/papers/shao2009compositional.pdf.

Schlagwörter: D.2.4 [Software Engineering, Software/Program Verification General Terms Algorithms, Verification Keywords SHIM, concurrency, static analysis, deadlock, divide-and-conquer

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.159.7321; http://www.cs.columbia.edu/~sedwards/papers/shao2009compositional.pdf

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.159.7321
http://www.cs.columbia.edu/~sedwards/papers/shao2009compositional.pdf

Abstract Back to the Future Revisiting Precise Program Verification using SMT Solvers

Weitere Verfasser: The Pennsylvania State University CiteSeerX Archives

Quelle: http://www.research.microsoft.com/~qadeer/docs/popl08.havoc.pdf.

Schlagwörter: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification General Terms Algorithms, Reliability, Verification Keywords Software verification, SMT solvers, decision procedures, heap-manipulating programs

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.123.2044; http://www.research.microsoft.com/~qadeer/docs/popl08.havoc.pdf

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.123.2044
http://www.research.microsoft.com/~qadeer/docs/popl08.havoc.pdf