Explore projects
-
SolidityCPN / SolidityCPN
GNU General Public License v3.0 or laterUpdated -
SolidityCPN / ltl-translator
GNU General Public License v3.0 or laterTranslation of LTL formulae from JSON into Helena syntax.
Updated -
Formal Developments and Proofs in Rocq of Numerical Analysis Problems.
Updated -
PMC-SOG / sogMBT
GNU General Public License v3.0 or laterSymbolic Observation Graph-Based Generation of Test Paths
Updated -
Sami Evangelista / webamc
GNU General Public License v3.0 or laterUpdated -
SolidityCPN / Unfolding
GNU General Public License v3.0 or laterUpdated -
cosyverif / Alligator / alligator
GNU General Public License v3.0 or laterUpdated -
Updated
-
Céline Rouveirol / FLAME
MIT LicenseUpdated -
Updated
-
-
Updated
-
Updated
-
PMC-SOG / OptLP
GNU General Public License v3.0 or laterUpdated -
-
Maude files for the paper "Modeling and Analyzing Real-Time Systems in Rewriting Logic"
Updated -
Pierre Boudes / mastodon
GNU Affero General Public License v3.0Le fork LIPN de Mastodon pour l'instance lipn.info. Basé sur le dépot officiel et sur le dépôt Mathstodon
Updated -
Updated
-
Updated