ℹ️
🇨🇿
Hledání
Hledat osoby relevantní k dotazu "abstract"
abstract
Osoba
Předměty
Osoby
Publikace
Studium
Exportovat aktuální pohled
Mgr. Martin Blicha Ph.D.
Akademický pracovník na Matematicko-fyzikální fakulta
15 publikací
Publikace
publication
Transition Power Abstractions for Deep Counterexample Detection
2022 |
Matematicko-fyzikální fakulta
publication
Split Transition Power Abstraction for Unbounded Safety
2022 |
Matematicko-fyzikální fakulta
publication
Function Summarization Modulo Theories
2018 |
Matematicko-fyzikální fakulta
publication
CHC Model Validation with Proof Guarantees
2024 |
Matematicko-fyzikální fakulta
publication
The Golem Horn Solver
2023 |
Matematicko-fyzikální fakulta
publication
SMT-based verification of program changes through summary repair
2023 |
Matematicko-fyzikální fakulta
publication
Using linear algebra in decomposition of Farkas interpolants
2022 |
Matematicko-fyzikální fakulta
publication
SolCMC: Solidity Compiler's Model Checker
2022 |
Matematicko-fyzikální fakulta
publication
Summarization of branching loops
2022 |
Matematicko-fyzikální fakulta
publication
Theory-Specific Proof Steps Witnessing Correctness of SMT Executions
2021 |
Matematicko-fyzikální fakulta
Načíst další publikace (5)
Loading network view...