The following pages link to NuSMV (Q16316):
Displaying 5 items.
- An analytic tableau calculus for a temporalised belief logic (Q456722) (← links)
- Using formal verification to evaluate the execution time of Spark applications (Q782497) (← links)
- HRELTL: a temporal logic for hybrid systems (Q897648) (← links)
- Strong planning under partial observability (Q2457630) (← links)
- Boosting Lazy Abstraction for SystemC with Partial Order Reduction (Q3000665) (← links)
