libSFTA: Prototyp knihovny pro efektivní práci se semi-symbolicky reprezentovanými nedeterministickými stromovými automaty |
| Autoři: | Holík Lukáš, Lengál Ondřej, Vojnar Tomáš |
|---|
| Typ: | software |
| Vznik: | 2010 |
| Licence: | vyžadována - zdarma | | Klíčová slova: | stromové automaty, formální verifikace, binární rozhodovací diagramy, multiterminálové binární rozhodovací diagramy
|
|---|
| Popis: |
|---|
Tato knihovna implementuje semi-symbolicky reprezentované nedeterministické bottom-up konečné stromové automaty a standardní operace na nich.
|
| Umístění: |
|---|
| https://github.com/ondrik/libsfta |
| Výzkumné skupiny: |
|---|
|
| Pracoviště: |
|---|
|
| Licenční podmínky: |
|---|
| Volně šiřitelný software poskytovaný pod licencí GNU GPL v3. |
|
Fakulta informačních technologií
![[dnssec]](/common/img/dnssec.png)