SAL

swMATH13318MaRDI QIDQ25233FDOQ25233

Author name not available (Why is that?)

Described by source

• Computer Aided Verification

Cited In (4)

• Stepwise development and model checking of a distributed interlocking system using RAISE
• Automated Reasoning
• A formal logic approach to constrained combinatorial testing
• Approximate Invariant Property Checking Using Term-Height Reduction for a Subset of First-Order Logic

This page was built for software: SAL