-
Inria
- Villeneuve d'Ascq, France
Lists (3)
Sort Name ascending (A-Z)
Starred repositories
5
results
for forked starred repositories
Clear filter
Set of tools for validating, visualizing and analyzing TOSCA resource descriptions
philippemerle / Alloy2CVC4
Forked from CVC4/org.alloytools.alloyAlloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switch…
Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switch…