Suchergebnisse - "Software/Program Verification—For- mal Methods"

AOn Software Component Co-Installability

Autoren: Roberto Di Cosmo The Pennsylvania State University CiteSeerX Archives

Weitere Verfasser: Roberto Di Cosmo The Pennsylvania State University CiteSeerX Archives

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

Schlagwörter: 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

Dateibeschreibung: application/pdf

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

Verfügbarkeit: 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

Autoren: Adam Kiezun Harvard Medical School Philip J. Guo et al.

Weitere Verfasser: Adam Kiezun Harvard Medical School Philip J. Guo et al.

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

Schlagwörter: 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

Dateibeschreibung: application/pdf

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

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