Giters

s1db / MRS-H

Modelling Reactive Systems in SPIN

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

This repository is not active

About

Modelling Reactive Systems in SPIN

Languages

Language:C 81.8%Language:OpenEdge ABL 13.3%Language:Raku 4.4%Language:M 0.4%Language:Limbo 0.1%