Výsledky vyhľadávania - "Software/Program Verification—For- mal Methods"

AOn Software Component Co-Installability

Autori: Roberto Di Cosmo The Pennsylvania State University CiteSeerX Archives

Prispievatelia: Roberto Di Cosmo The Pennsylvania State University CiteSeerX Archives

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

Predmety: 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 súboru: application/pdf

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

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

Autori: Adam Kiezun Harvard Medical School Philip J. Guo a ďalší

Prispievatelia: Adam Kiezun Harvard Medical School Philip J. Guo a ďalší

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

Predmety: 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 súboru: application/pdf

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

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