Scalable And Flexible Error-detection and verification tool, based on typestate checking with varying degrees of cost and precision, mostly depending on the way in which aliasing is handled.

Project Activity

See All Activity >

Follow safe

safe Web Site

nel_h2
AI-powered service management for IT and enterprise teams Icon
AI-powered service management for IT and enterprise teams

Enterprise-grade ITSM, for every business

Give your IT, operations, and business teams the ability to deliver exceptional services—without the complexity. Maximize operational efficiency with refreshingly simple, AI-powered Freshservice.
Try it Free
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of safe!

Additional Project Details

Registered

2010-11-26
Report inappropriate content