Description
Scollar is a tool to analyze safety (written in Oz). It analyzes patterns expressed in Scoll (Safe Collaboration Language). It is useful for designing secure software and to illustrate formal modeling and analysis in courses on computer security.
Categories
License
Update Notifications
User Reviews
Be the first to post a review of Scollar!