ℹ️
🇨🇿
Hledání
Hledat osoby relevantní k dotazu "Verification"
Verification
Osoba
Předměty
Osoby
Publikace
Studium
Exportovat aktuální pohled
doc. RNDr. Pavel Parízek Ph.D.
Akademický pracovník na Matematicko-fyzikální fakulta
6 předmětů
54 publikací
Předměty
class
Analýza programů a verifikace kódu
+1
NSWI132 |
Matematicko-fyzikální fakulta
class
Pokročilé nástroje pro vývoj a monitorování software
NSWI126 |
Matematicko-fyzikální fakulta
class
Firemní semináře
NSWI133 |
Matematicko-fyzikální fakulta
class
Nástroje pro vývoj software
NSWI154 |
Matematicko-fyzikální fakulta
class
Formální základy softwarového inženýrství
NTIN043 |
Matematicko-fyzikální fakulta
Publikace
publication
Checking Just Pairs of Threads for Efficient and Scalable Incremental Verification of Multithreaded Programs
2023 |
Matematicko-fyzikální fakulta
publication
BUBEN: Automated Library Abstractions Enabling Scalable Bug Detection for Large Programs with I/O and Complex Environment
2019 |
Matematicko-fyzikální fakulta
publication
Hybrid Partial Order Reduction with Under-Approximate Dynamic Points-To and Determinacy Information
2016 |
Matematicko-fyzikální fakulta
publication
Model Checking of Concurrent Programs with Static Analysis of Field Accesses
2015 |
Matematicko-fyzikální fakulta
publication
PANDA: Simultaneous Predicate Abstraction and Concrete Execution
2015 |
Matematicko-fyzikální fakulta
publication
Approximating Happens-Before Order: Interplay between Static Analysis and State Space Traversal
2014 |
Matematicko-fyzikální fakulta
publication
Predicate Abstraction in Program Verification: Survey and Current Trends
2014 |
Matematicko-fyzikální fakulta
publication
BeJC: Checking Compliance beetween Java Implementation and Behavior Specification
2012 |
Matematicko-fyzikální fakulta
publication
Abstract Pathfinder
2012 |
Matematicko-fyzikální fakulta
publication
Efektivní detekce chyb v Java komponentách s použitím náhodného prostředí a restartů
2010 |
Matematicko-fyzikální fakulta
Načíst další publikace (44)
Loading network view...