Výsledky vyhledávání - "Automatic Programming—program verification General Terms"

DSD-Crasher: A hybrid analysis tool for bug finding

Autoři: Christoph Csallner Tao Xie The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Christoph Csallner Tao Xie The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.uoregon.edu/~yannis/dsd-tosem.pdf.

Témata: Categories and Subject Descriptors, D.2.4 [Software Engineering, Software/Program Verification—formal methods, reliability, D.2.5 [Software Engineering, Testing and Debugging— testing tools, I.2.2 [Artificial Intelligence, Automatic Programming—program verification General Terms, Verification Additional Key Words and Phrases, Automatic testing, bug finding, dynamic analysis, dynamic invariant detection

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.123.4597
http://www.cs.uoregon.edu/~yannis/dsd-tosem.pdf

Programs]: Specifying and Verifying and Reasoning about Programs--logics ofprograms; mechanical

Autoři: A. P. Sistla E. M. Clarke The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: A. P. Sistla E. M. Clarke The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.cmu.edu/~emc/papers/Papers In Refereed Journals/The complexity of propositional linear temporal logics85.pdf.

Témata: veriJ?cation, 1.2.2 [Artificial Intelligence, Automatic Programming--program verification General Terms, Theory Additional Key Words and Phrases, Branching time temporal logic, decision procedures, linear time temporal logic, NP-complete, PSPACE-complete, satistiability

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.94.178; http://www.cs.cmu.edu/~emc/papers/Papers In Refereed Journals/The complexity of propositional linear temporal logics85.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.94.178
http://www.cs.cmu.edu/~emc/papers/Papers In Refereed Journals/The complexity of propositional linear temporal logics85.pdf