#

guarded-command-languague

Here are 2 public repositories matching this topic...

Jacopo00811 / 02141_Computer_Science_Modelling

02141 Computer Science Modelling Spring 23 DTU

parser interpreter program-analysis program-verification guarded-command-languague

Updated May 23, 2023
F#

DevDynamoo / GCLMOD

A tool for running and analyzing programs written in a variant of the Guarded Command Language

formal-methods guarded-command-languague

Updated Sep 15, 2020
F#

Improve this page

Add a description, image, and links to the guarded-command-languague topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the guarded-command-languague topic, visit your repo's landing page and select "manage topics."