8000 GitHub - skneko/strass: Implementation of the STRategy-based Automatic Safety aSsurance tool (STRASS), an automatic program safety enforcement tool for the Maude programming language
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
/ strass Public

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 You must be signed in to change notification settings

skneko/strass

BranchesTags

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

41 Commits
core
core
 
 
service
service
 
 
web
web
 
 

About

Implementation 5C39 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

Topics

safety formal-methods maude program-transformation rewriting-system
Activity

Stars

0 stars

Watchers

2 watching

Forks

0 forks
Report repository

Languages
0