GitHub - skneko/strass: Implementation of the STRategy-based Automatic Safety aSsurance tool (STRASS), an automatic program safety enforcement tool for the Maude programming language

skneko / strass Public

Notifications You must be signed in to change notification settings
Fork 0
Star 0

Implementation of the STRategy-based Automatic Safety aSsurance tool (STRASS), an automatic program safety enforcement tool for the Maude programming language

safe-tools.dsic.upv.es/strass

0 stars 0 forks Branches Tags Activity

Star

Notifications

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 41 Commits
core		core
service		service
web		web

About

Implementation of the STRategy-based Automatic Safety aSsurance tool (STRASS), an automatic program safety enforcement tool for the Maude programming language

safe-tools.dsic.upv.es/strass

safety formal-methods maude program-transformation rewriting-system

Activity

0 stars

2 watching

0 forks

Report repository