Scollar

planning
Add a Review
0 Downloads (This Week)
Last Update:

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.

Scollar Web Site

Categories

Security, Design, Education

License

MIT License

Update Notifications





Write a Review

User Reviews

Be the first to post a review of Scollar!

Additional Project Details

Languages

English

Intended Audience

Information Technology, Education, Developers

User Interface

Other toolkit

Programming Language

ActionScript

Registered

2008-06-07
Screenshots can attract more users to your project.
Features can attract more users to your project.

Icons must be PNG, GIF, or JPEG and less than 1 MiB in size. They will be displayed as 48x48 images.