Pages that link to "Item:Q5703772"
From MaRDI portal
The following pages link to Tools and Algorithms for the Construction and Analysis of Systems (Q5703772):
Displayed 8 items.
- Symstra (Q14036) (← links)
- Simple linear string constraints (Q469349) (← links)
- Automation of broad sanity test generation (Q840076) (← links)
- Integration of verification methods for program systems (Q1040327) (← links)
- The dependence condition graph: precise conditions for dependence between program points (Q1749251) (← links)
- Symbolic execution formally explained (Q1982639) (← links)
- State Isomorphism in Model Programs with Abstract Data Structures (Q3614845) (← links)
- A Study of Symmetry Breaking Predicates and Model Counting (Q5039506) (← links)