Dane Sabo
64f1617e9d
M "Zettelkasten/Permanent Notes/20250818132022-temporal-logic.md" M "Zettelkasten/Permanent Notes/20250819103208-strix.md" A "Zettelkasten/Permanent Notes/20250821123741-syntcomp.md" M "Zettelkasten/Permanent Notes/Literature Notes/LIT-20250819112550-strix-explicit-reactive-synthesis-strikes-back.md"
22 lines
541 B
Markdown
22 lines
541 B
Markdown
---
|
|
id: 20250821123741
|
|
title: SYNTCOMP
|
|
type: permanent
|
|
created: 2025-08-21T16:37:41Z
|
|
modified: 2025-08-21T16:42:25Z
|
|
tags: []
|
|
---
|
|
|
|
# SYNTCOMP
|
|
|
|
SYNTCOMP, otherwise known as the Reactive Synthesis
|
|
Competition, is a yearly competition for reactive synthesis
|
|
tools to compete against one another to try and solve
|
|
synthesis benchmarks.
|
|
|
|
SYNTCOMP has been around since 2014. Usually, they run all
|
|
the code on their own machines to ensure fairness.
|
|
|
|
SYNTCOMP is a satelite event of CAV, the International
|
|
Conference on Computer-Aided Verification.
|