Giters

kanner / ipes-model

tla+ model for Isolated Program Environment of Subjects (IPES)

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

ipes-model

tla+ model for Isolated Program Environment of Subjects (IPES)

About

tla+ model for Isolated Program Environment of Subjects (IPES)

License:MIT License

Languages

Language:TLA 95.3%Language:Dockerfile 2.4%Language:Shell 2.3%