FLVIz - Finite Automata Simulator written in QT/Graphviz
-
Updated
Nov 3, 2015 - HTML
#
formal-languages
Here are 9 public repositories matching this topic...
Sito web del corso di "Linguaggi e traduttori" @ UniMI
-
Updated
May 31, 2024 - HTML
Formal proof with the Coq theorem prover that elements of some equivalence classes defined over a formal language of interactions describing the behavior of distributed systems have the same semantics.
distributed-systems proof formal-semantics coq-formalization formal-languages sequence-diagrams interaction-models
-
Updated
Mar 1, 2021 - HTML
A framework for working with finite regular tree languages.
-
Updated
Apr 10, 2017 - HTML
C# Windows Forms Application - Slot Machine
-
Updated
Mar 24, 2017 - HTML
Web page hosting the pedagocical material prepared in the scope of the FVOCA class of the MESCC MSc
formal-semantics formal-methods smt formal-languages sat hoare-logic formal-specification formal-logic
-
Updated
Jan 26, 2023 - HTML
Formal proof with the Coq theorem prover of the equivalence of three semantics for a language describing the behavior of distributed systems.
distributed-systems proof formal-semantics coq-formalization formal-languages sequence-diagrams interaction-models
-
Updated
May 13, 2021 - HTML
A school project for CPTR 437 - Formal Theory of Computation
-
Updated
Apr 29, 2020 - HTML
-
Updated
May 14, 2017 - HTML
Improve this page
Add a description, image, and links to the formal-languages topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the formal-languages topic, visit your repo's landing page and select "manage topics."