Material Detail

Tools and Algorithms for the Construction and Analysis of Systems | SpringerLink

Tools and Algorithms for the Construction and Analysis of Systems | SpringerLink

Table of Contents: 

Theorem Proving

Unification with Abstraction and Theory Instantiation in Saturation-Based Reasoning/Efficient Verification of Imperative Programs Using Auto2/Frame Inference for Inductive Entailment Proofs in Separation Logic/Verified Model Checking of Timed Automata

SAT and SMT I ...
Show More

Quality

  • User Rating
  • Comments
  • Learning Exercises
  • Bookmark Collections
  • Course ePortfolios
  • Accessibility Info

More about this material

Browse...

Disciplines with similar materials as Tools and Algorithms for the Construction and Analysis of Systems | SpringerLink

Comments

Log in to participate in the discussions or sign up if you are not already a MERLOT member.