Formal Methods in Computer-Aided Design - FMCAD'24
Sprache des Tagungstitel:
Englisch
Original Kurzfassung:
This was the 12th competitive event for hardware model checkers.
Affiliated to FMCAD?24
October 14 - 18, 2024, Prague, Czech Republic
Results
In total we awarded 9 ?medals?: gold/silver/bronze for 1st/2nd/3rd place in each track.
Forschungs-