SAL

MaRDI QIDQ25233swMATHFDO

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

Described by source

• Computer Aided Verification

Cited in

(7)

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

This page was built for software: SAL