Výsledky vyhledávání - "Software Program Verification—For- mal methods"

AOn Software Component Co-Installability

Autoři: Roberto Di Cosmo The Pennsylvania State University CiteSeerX Archives

Přispěvatelé: Roberto Di Cosmo The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.pps.univ-paris-diderot.fr/~vouillon/publi/coinst.pdf.

Témata: Categories and Subject Descriptors, D.2.4 [Software Engineering, Software/Program Verification—For- mal Methods, G.2.2 [Mathematics of Computing, Graph Theory—Hypergraphs General Terms, Algorithms, Theory, Verification Additional Key Words and Phrases, component, dependencies, conflicts, co-installability, package manage- ment, open source ACM Reference Format

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.644.838
http://www.pps.univ-paris-diderot.fr/~vouillon/publi/coinst.pdf

HAMPI: A Solver for Word Equations over Strings, Regular Expressions and Context-Free Grammars

Autoři: Adam Kiezun Harvard Medical School Philip J. Guo a další

Přispěvatelé: Adam Kiezun Harvard Medical School Philip J. Guo a další

Zdroj: http://homes.cs.washington.edu/~mernst/pubs/string-solver-tosem2012.pdf.

Témata: Categories and Subject Descriptors, D.2.4 [Software Engineering, Software Program Verification—For- mal methods, D.2.5 [Software Engineering, Testing and Debugging—Testing tools General Terms, Verification, Algorithms, Reliability, Security Additional Key Words and Phrases, String constraints, word equations, regular languages, context-free languages, concolic testing, program analysis ACM Reference Format

Popis souboru: application/pdf

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

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.497.8088
http://homes.cs.washington.edu/~mernst/pubs/string-solver-tosem2012.pdf