Formal Verification on the Word Level using SAT-like Proof Techniques - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Görschwin Fey, Daniel Große, Stephan Eggersglüß, Robert Wille, Rolf Drechsler. Formal Verification on the Word Level using SAT-like Proof Techniques. In Christian Haubelt, Jürgen Teich, editors, Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Erlangen, Germany, March 5-7, 2007. pages 81-90, Shaker, 2007.

This author has not been identified. Look up 'Görschwin Fey' in GoogleThis author has not been identified. Look up 'Daniel Große' in GoogleThis author has not been identified. Look up 'Stephan Eggersglüß' in GoogleThis author has not been identified. Look up 'Robert Wille' in GoogleThis author has not been identified. Look up 'Rolf Drechsler' in Google

runs on WebDSL