SAL

swMATH13318MaRDI QIDQ25233FDOQ25233

Author name not available (Why is that?)

Official website: http://sal.csl.sri.com/

Described by source

• Computer Aided Verification

Cited In (6)

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

This page was built for software: SAL