The following pages link to (Q3384159):
Displaying 5 items.
- Verifying annotated program families using symbolic game semantics (Q1680558) (← links)
- Leafy automata for higher-order concurrency (Q2233404) (← links)
- (Q5021002) (← links)
- Computing Program Reliability Using Forward-Backward Precondition Analysis and Model Counting (Q5039530) (← links)
- Game-Based Probabilistic Predicate Abstraction in PRISM (Q5415661) (← links)