Henrich Lauko
Henrich Lauko
PhD student, Masaryk University
Verified email at
Cited by
Cited by
Model Checking of C and C++ with DIVINE 4
Z Baranová, J Barnat, K Kejstová, T Kučera, H Lauko, J Mrázek, P Ročkai, ...
Automated Technology for Verification and Analysis: 15th International …, 2017
From spot 2.0 to spot 2.10: what’s new?
A Duret-Lutz, E Renault, M Colange, F Renkin, A Gbaguidi Aisse, ...
International Conference on Computer Aided Verification, 174-187, 2022
Symbolic computation via program transformation
H Lauko, P Ročkai, J Barnat
Theoretical Aspects of Computing–ICTAC 2018: 15th International Colloquium …, 2018
SymDIVINE: Tool for Control-Explicit Data-Symbolic State Space Exploration
J Mrázek, P Bauch, H Lauko, J Barnat
Model Checking Software: 23rd International Symposium, SPIN 2016, Co-located …, 2016
Extending DIVINE with Symbolic Verification Using SMT: (Competition Contribution)
H Lauko, V Štill, P Ročkai, J Barnat
International Conference on Tools and Algorithms for the Construction and …, 2019
String abstraction for model checking of C programs
A Cortesi, H Lauko, M Olliaro, P Ročkai
Model Checking Software: 26th International Symposium, SPIN 2019, Beijing …, 2019
Optimizing and Caching SMT Queries in SymDIVINE: (Competition Contribution)
J Mrázek, M Jonáš, V Štill, H Lauko, J Barnat
Tools and Algorithms for the Construction and Analysis of Systems: 23rd …, 2017
LART: Compiled Abstract Execution: (Competition Contribution)
H Lauko, P Ročkai
International Conference on Tools and Algorithms for the Construction and …, 2022
Abstracting strings for model checking of C programs
H Lauko, M Olliaro, A Cortesi, P Rockai
Applied Sciences 10 (21), 7853, 2020
On Symbolic Execution of Decompiled Programs
L Korenčik, P Ročkai, H Lauko, J Barnat
2020 IEEE 20th International Conference on Software Quality, Reliability and …, 2020
Verification of Programs Sensitive to Heap Layout
H Lauko, L Korenčik, P Ročkai
ACM Transactions on Software Engineering and Methodology (TOSEM) 31 (4), 1-27, 2022
On the Optimization of Equivalent Concurrent Computations
H Lauko, L Korenčik, P Goodman
arXiv preprint arXiv:2208.06295, 2022
ths-rwth/CArl: 23.05
G Kremer, M Volk, J Nalbach, S Junges, S Schupp, F Corzilius, T Winkler, ...
Zenodo, 2023
H Lauko
From Spot 2.0 to Spot 2.10: What’s New?
H Lauko
From Spot 2.0 to Spot 2.10: What’s New?
P Schlehuber-Caissier, T Medioni, A Martin, J Dubois, C Gillard, H Lauko
DIVINE: Extended Compilation-based Symbolic Verification
Z Baranová, L Korencik, H Lauko, A Matoušek, P Rockai, V Štill
Základy dátových štruktúr v príkladoch
H Lauko
The system can't perform the operation now. Try again later.
Articles 1–18