Universität · Informatik · 6. Semester – Abschluss und Bachelorarbeit

Aktuelle Entwicklungen: SAT/SMT-Solver, Fuzzing und formale Methoden in der Industrie

4 Abschnitte1 Karteikarten-Decks1 Quizze

SAT-Solver: Boolesche Erfüllbarkeit Das SAT-Problem (Boolean Satisfiability) fragt: Gibt es eine Belegung der Variablen einer Booleschen Formel, die die Formel wahr macht? SAT ist das erste nachgewiesene NP-vollständige Problem (Cook, 1971), doch moderne SAT-Solver können in der Praxis Formeln mit…

Inhaltsübersicht

  • SAT- und SMT-Solver: Boolesche Erfüllbarkeit und Z3
  • Symbolische Ausführung und Property-Based Testing
  • Fuzzing: AFL, LibFuzzer und Coverage-guided Fuzzing
  • Formale Methoden in der Industrie und zertifizierte Compiler
münzen, finanzen, geld, indische rupie, gold, solver-bunt, natur, felsen, grau geld, grau finance
Pixabay – Pixabay License

📚 Vollständiges Lernmaterial mit 4 Abschnitten, Karteikarten und Quizzen verfügbar nach Anmeldung.

Jetzt kostenlos lernen →

Verwandte Themen

Interaktiv lernen mit Karteikarten & Quizzen

Melde dich an und lerne Formale Methoden und Verifikation mit intelligenten Wiederholungen, Quizzen und KI-Lernhilfen. 7 Tage kostenlos.

Kostenlos testen