Přeskočit na horní lištu
Přeskočit na hlavičku
Přeskočit na obsah
Přeskočit na patičku
EN
>
IA159 Formal Methods for Software Analysis
Interaktivní osnova
IA159 Formal Methods for Software Analysis
OBSAH
IA159 Formal Methods for Software Analysis
Nyní studovat
Content of the Course, Examination, Literature
Nyní studovat
Introduction & Coverage Criteria for Tests
Nyní studovat
Greybox Fuzzing: American Fuzzy Lop
Nyní studovat
Deductive Verification
Nyní studovat
Abstract Interpretation
Nyní studovat
Program Slicing and Points-to Analysis
Nyní studovat
Shape Analysis via 3-Valued Logic
Nyní studovat
Symbolic Execution and Automated Whitebox Fuzz Testing
Nyní studovat
Configurable Program Analysis
Nyní studovat
Verification via Automata, Symbolic Execution, and Interpolation
Nyní studovat
Verification WItnesses and SV-COMP
Nyní studovat
SSA, Bounded Model Checking, k-Induction
Prohlédnout vše
Symbolic Execution and Automated Whitebox Fuzz Testing
Chyba: Odkazovaný objekt neexistuje nebo nemáte právo jej číst.
https://is.muni.cz/el/fi/podzim2023/IA159/um/07_symbolic.pdf
Předchozí
Následující
IA159 Formal Methods for Software Analysis
Nyní studovat
Content of the Course, Examination, Literature
Nyní studovat
Introduction & Coverage Criteria for Tests
Nyní studovat
Greybox Fuzzing: American Fuzzy Lop
Nyní studovat
Deductive Verification
Nyní studovat
Abstract Interpretation
Nyní studovat
Program Slicing and Points-to Analysis
Nyní studovat
Shape Analysis via 3-Valued Logic
Nyní studovat
Symbolic Execution and Automated Whitebox Fuzz Testing
Nyní studovat
Configurable Program Analysis
Nyní studovat
Verification via Automata, Symbolic Execution, and Interpolation
Nyní studovat
Verification WItnesses and SV-COMP
Nyní studovat
SSA, Bounded Model Checking, k-Induction
Operace
Prohlédnout vše