StAFI

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

Earn up to 16% annual interest with Nexo.

Access competitive interest rates on your digital assets.

Generate interest, borrow against your crypto, and trade a range of cryptocurrencies — all in one platform. Geographic restrictions, eligibility, and terms apply.

Get started with Nexo.

Rate This Project

User Reviews

Be the first to post a review of StAFI!

Additional Project Details

Registered

2010-07-01

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)
Oci.Athena
A platform for security data analysis.It focus on the quantitative analysis for securities,and research these problem:What and How decided to a trading,and can be believe.So,it include technical analysis,financial model,other to help to profit making.