REAL is a tool for producing rigorous system specifications from natural language requirements. It applies sequence based specification to create a specification that is consistent, complete, and traceably correct.

Project Samples

REAL Enumeration View State Machine Spec

Project Activity

See All Activity >

Follow REALSBS

REALSBS Web Site

Other Useful Business Software
Stop Cyber Threats with VM-Series Next-Gen Firewall on Azure Icon
Stop Cyber Threats with VM-Series Next-Gen Firewall on Azure

Native application identity and user-based security for your Azure cloud

Gain integrated visibility across all traffic in a single pass. Deploy Palo Alto Networks VM-Series to determine application identity and content while automating security policy updates via rich APIs.
Get a free trial
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of REALSBS!

Additional Project Details

Registered

2013-09-26
Report inappropriate content