The following pages link to SAL (Q25233):
Displaying 4 items.
- A formal logic approach to constrained combinatorial testing (Q616856) (← links)
- Stepwise development and model checking of a distributed interlocking system using RAISE (Q1996429) (← links)
- Approximate Invariant Property Checking Using Term-Height Reduction for a Subset of First-Order Logic (Q3540082) (← links)
- Automated Reasoning (Q5307060) (← links)