Lukás Charvát

Publication Activity (10 Years)

Years Active: 2012-2022
Publications (10 Years): 2

Top Topics

Symbolic Model Checking

Associative Memory

Formal Verification

Computing Systems

Top Venues

Int. J. Softw. Tools Technol. Transf.

Publications

Lukás Charvát, Ales Smrcka, Tomás Vojnar
Utilizing parametric systems for detection of pipeline hazards. Int. J. Softw. Tools Technol. Transf. 24 (1) (2022)
Lukás Charvát, Ales Smrcka, Tomás Vojnar
HADES: Microprocessor Hazard Analysis via Formal Verification of Parameterized Systems. MEMICS (2016)
Lukás Charvát, Ales Smrcka, Tomás Vojnar
Microprocessor Hazard Analysis Via Formal Verification of Parameterized Systems. EUROCAST (2015)
Lukás Charvát, Ales Smrcka, Tomás Vojnar
Using Formal Verification of Parameterized Systems in RAW Hazard Analysis in Microprocessors. MTV (2014)
Lukás Charvát, Ales Smrcka, Tomás Vojnar
An Abstraction of Multi-port Memories with Arbitrary Addressable Units. EUROCAST (1) (2013)
Lukás Charvát, Ales Smrcka, Tomás Vojnar
Automatic Formal Correspondence Checking of ISA and RTL Microprocessor Description. MTV (2012)