fluentverification/stamina-storm

STAMINA - the STochiastic Approximate Model-checker for INfinite-state Analysis, integrated with the Storm model checking engine.

C++Stars 5Forks 2Watchers 5Open issues 11License GNU General Public License v3.0

Details

仓库信息

Ownerfluentverification

Last pushed2024-10-22

Last updated2025-12-15

Issues fetched at—

Community at a glance