PyNuSMV

swMATH12293MaRDI QIDQ24223FDOQ24223

Author name not available (Why is that?)

Official website: http://lvl.info.ucl.ac.be/Tools/PyNuSMV

Cited In (2)

• Reasoning about memoryless strategies under partial observability and unconditional fairness constraints
• A backward-traversal-based approach for symbolic model checking of uniform strategies for constrained reachability

This page was built for software: PyNuSMV