Marek Jankola - 2030 Software Engineering

Mon 15 - Fri 19 July 2024

co-located with FSE 2024

Registered user since Mon 15 Apr 2024

Name:Marek Jankola

Country:Slovakia

Affiliation:LMU Munich

Research interests:Formal Verification, Automata, Logic

Contributions

2024

ESEC/FSE

A Transferability Study of Interpolation-Based Hardware Model Checking to Software Verification
A Transferability Study of Interpolation-Based Hardware Model Checking to Software Verification

Show activities from other conferences

FSE 2024-profile
View general profile