Pages that link to "Item:Q477213"

The following pages link to Program verification using symbolic game semantics (Q477213):

Displaying 4 items.

• Verifying annotated program families using symbolic game semantics (Q1680558) (← links)
• Finding suitable variability abstractions for lifted analysis (Q2414252) (← links)
• (Q3384159) (← links)
• Computing Program Reliability Using Forward-Backward Precondition Analysis and Model Counting (Q5039530) (← links)