Die Studie konzentriert sich darauf, CTL+Sync mit Ein-Zähler-Automaten zur Modellverifikation zu verwenden.
― 6 min Lesedauer
Hochmoderne Wissenschaft einfach erklärt
Die Studie konzentriert sich darauf, CTL+Sync mit Ein-Zähler-Automaten zur Modellverifikation zu verwenden.
― 6 min Lesedauer