Výsledky vyhľadávania - "program verification. General Terms Algorithms"

Compositional deadlock detection for rendezvous communication

Autori: Baolin Shao Nalini Vasudevan Stephen A. Edwards a ďalší

Prispievatelia: Baolin Shao Nalini Vasudevan Stephen A. Edwards a ďalší

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

Predmety: 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

Popis súboru: application/pdf

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

Dostupnosť: 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

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

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

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

Predmety: 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

Popis súboru: application/pdf

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

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

Abstraction-guided synthesis of synchronization. In: POPL ’10 config thread () { A: lock(rtnl lock); B: lock(lock); C: unlock(lock); D: unlock(rtnl lock); } iwl3945 bg alive start thread() { 1: lock(lock); 2: restart = 1;3: lock(rtnl lock);4: notify = 1

Autori: Martin Vechev Eran Yahav Greta Yorsh a ďalší

Prispievatelia: Martin Vechev Eran Yahav Greta Yorsh a ďalší

Zdroj: http://www.eecs.qmul.ac.uk/%7Egretay/papers/ags.pdf.

Predmety: Categories and Subject Descriptors D.1.3 [Concurrent Pro- gramming, D.2.4 [Program Verification] General Terms Algorithms, Verification Keywords concurrency, synthesis, abstract interpretation

Popis súboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.672.5259; http://www.eecs.qmul.ac.uk/%7Egretay/papers/ags.pdf

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.672.5259
http://www.eecs.qmul.ac.uk/%7Egretay/papers/ags.pdf

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

Autori: Martin D. Schwarz Helmut Seidl Vesal Vojdani a ďalší

Prispievatelia: Martin D. Schwarz Helmut Seidl Vesal Vojdani a ďalší

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

Predmety: 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

Popis súboru: application/pdf

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

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

Dynamic synthesis for relaxed memory models

Autori: Feng Liu Nayden Nedev Nedyalko Prisadnikov a ďalší

Prispievatelia: Feng Liu Nayden Nedev Nedyalko Prisadnikov a ďalší

Zdroj: http://www.cs.technion.ac.il/~yahave/papers/pldi12-fender.pdf.

Predmety: Categories and Subject Descriptors D.1.3 [Concurrent Programming, D.2.4 [Program Verification] General Terms Algorithms, Verification Keywords Concurrency, Synthesis, Relaxed Memory Models, Weak Memory Models ∗ Deloro Fellow

Popis súboru: application/pdf

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

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.297.6597
http://www.cs.technion.ac.il/~yahave/papers/pldi12-fender.pdf

Meta-Learning Genetic Programming

Autori: Ryan J. Meuth The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Ryan J. Meuth The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.irontaco.com/Documents/lbp119-meuth.pdf.

Predmety: Categories and Subject Descriptors I.2.2 [Artificial Intelligence, Automatic Programming – program synthesis, program verification. General Terms Algorithms, Design, Theory. Keywords Genetic Programming, even parity, pac-man, meta-learning, memetic

Popis súboru: application/pdf

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

Dostupnosť: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.186.6631
http://www.irontaco.com/Documents/lbp119-meuth.pdf

Compositional Deadlock Detection for Rendezvous Communication

Autori: Baolin Shao Nalini Vasudevan Stephen A. Edwards a ďalší

Prispievatelia: Baolin Shao Nalini Vasudevan Stephen A. Edwards a ďalší

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

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

Popis súboru: 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

Dostupnosť: 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

Prispievatelia: The Pennsylvania State University CiteSeerX Archives

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

Predmety: 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

Popis súboru: 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

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