SMT Solving

Embedding SMT-LIB into B for Interactive Proof and Constraint Solving

Paper presentation.

Published with Wowchemy — the free, open source website builder that empowers creators.