All Categories → No Category → nusmv

Top 2 nusmv open source projects

Dockerfiles everywhere 🐳

✭ 17

Dockerfile shell python docker dockerfile curl docker-image toolbox jq lustre oh-my-zsh-theme blake2s rancher-cli nusmv buildx zunit covid-19

FASTEN: FormAl SpecificaTion ENvironment - a set of DSLs to experiment with rigorous systems and safety engineering.

✭ 16

JetBrains MPS Roff Promela HTML Batchfile c prism architecture z3 spin gsn nusmv stpa contract-based-design requirements-specification safety-assurance interface-specification

1-2 of 2 nusmv projects