Pages that link to "Item:Q2642669"
From MaRDI portal
The following pages link to Learning to verify branching time properties (Q2642669):
Displaying 4 items.
- Action language verifier: An infinite-state model checker for reactive software specifications (Q845244) (← links)
- Learning to verify branching time properties (Q2642669) (← links)
- On Computability of Logical Approaches to Branching-Time Property Verification of Programs (Q5145688) (← links)
- Tools and Algorithms for the Construction and Analysis of Systems (Q5703791) (← links)