Pages that link to "Item:Q2999306"

The following pages link to Directed Model Checking for B: An Evaluation and New Techniques (Q2999306):

Displaying 4 items.

• Optimising the ProB model checker for B using partial order reduction (Q736463) (← links)
• Integrating formal specifications into applications: the ProB Java API (Q2147695) (← links)
• Directed Model Checking for B: An Evaluation and New Techniques (Q2999306) (← links)
• (Q5020651) (← links)