Automated Validation & Verification of UML/OCL Models Using Satisfiability Solve
165,91 €
The authors also cover briefly how non-functional properties such as timing constraints can be handled with the described flow. His research interests are in the design of reversible and quantum circuits as well as in the verification of formal models using SAT and SMT solvers.
Jetzt bei Ebay:
