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.
License
Academic Free License (AFL)Follow StAfFi
You Might Also Like
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of StAfFi!