Zoltán Micskei

From MaRDI portal
Person:6695680

Available identifiers

MaRDI QIDQ6695680

List of research outcomes





PublicationDate of PublicationType
Supplementary Material for "Iterative Exploration of Distinct Requirement Violation Scenarios for Fault-tolerant Architectures"2023-12-08Dataset
Efficient Techniques for Formal Verification of C Programs: SV-COMP 2022 dataset2021-11-28Dataset
Supplementary Material for the paper "Efficient Strategies for CEGAR-based Model Checking"2020-06-15Dataset
Supplementary Report for the paper "A Preliminary Analysis on the Effect of Randomness in a CEGAR Framework"2018-01-29Dataset

Research outcomes over time

This page was built for person: Zoltán Micskei

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:6695680&oldid=42067448"
Powered by MediaWiki