StAFi is a tool for quantitative analysis of computational fields via stochastic model checking. Current version requires to have the PRISM probabilistic model checker installed.

Project Activity

See All Activity >

Follow StAFI

StAFI Web Site

Other Useful Business Software
$300 Free Credits to Build on Google Cloud Icon
$300 Free Credits to Build on Google Cloud

New customers can spin up VMs, build with AI, and query data at no cost.

Put your $300 in credit toward real workloads, then keep building with free monthly usage for 20+ products. No commitment and no charge until you upgrade.
Start Free
Rate This Project
Login To Rate This Project

User Reviews

Be the first to post a review of StAFI!

Additional Project Details

Registered

2010-07-01
Report inappropriate content