StAfFi

StAfFi 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 >

License

Academic Free License (AFL)

Follow StAfFi

StAfFi Web Site

Other Useful Business Software

$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

User Reviews

Be the first to post a review of StAfFi!

Additional Project Details

Registered

2010-06-30

Report inappropriate content

$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

Recommended Projects

Spectra processing and analysis tools
SpecTools - an OpenSource software package for quant. spectra analysis
saint-apms
Significance Analysis of Interacome: probabilistic filtering of quantitative AP-MS data.
PocketWarrior PocketPC WiFi Survey tool
PocketPC WiFi 802.11b Prism wardriving tool
sdEM
Stochastic Discriminative Expectation Maximization (sdEM)
abu
Abu quantitative trading system (stocks, options, futures, bitcoin)