Tipp
Weitere Kapitel dieses Buchs durch Wischen aufrufen
Tipp schließen
Satisfiability Modulo Theories (SMT) problem is a
decision problem
for logical first order formulas with respect to combinations of background theories such as: arithmetic, bit-vectors, arrays, and uninterpreted functions. Z3 is a new and efficient SMT Solver freely available from Microsoft Research. It is used in various software verification and analysis applications.
Bitte loggen Sie sich ein, um Zugang zu diesem Inhalt zu erhalten
Sie möchten Zugang zu diesem Inhalt erhalten? Dann informieren Sie sich jetzt über unsere Produkte:
Springer Professional "Wirtschaft+Technik"
Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:
über 69.000 Bücher
über 500 Zeitschriften
aus folgenden Fachgebieten:
Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Umwelt
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko
Testen Sie jetzt 30 Tage kostenlos.
Springer Professional "Technik"
Mit Springer Professional "Technik" erhalten Sie Zugriff auf:
über 50.000 Bücher
über 380 Zeitschriften
aus folgenden Fachgebieten:
Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Umwelt
Maschinenbau + Werkstoffe
Testen Sie jetzt 30 Tage kostenlos.
Springer Professional "Wirtschaft"
Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:
über 58.000 Bücher
über 300 Zeitschriften
aus folgenden Fachgebieten:
Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko
Testen Sie jetzt 30 Tage kostenlos.
Titel
Z3: An Efficient SMT Solver
DOI
https://doi.org/10.1007/978-3-540-78800-3_24
Autoren:
Leonardo de Moura
Verlag
Springer Berlin Heidelberg
Sequenznummer
24
