WoLFram- A Word Level Framework for Formal Verification - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

AndrÃ© SÃ¼lflow, Ulrich KÃ¼hne, GÃ¶rschwin Fey, Daniel GroÃŸe, Rolf Drechsler. WoLFram- A Word Level Framework for Formal Verification. In Proceedings of the Twentienth IEEE/IFIP International Symposium on Rapid System Prototyping, Shortening the Path from Specification to Prototype, RSP 2009, Paris, France, 23-26 June 2009. pages 11-17, IEEE Computer Society, 2009. [doi]

This author has not been identified. Look up 'AndrÃ© SÃ¼lflow' in GoogleThis author has not been identified. Look up 'Ulrich KÃ¼hne' in GoogleThis 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 'Rolf Drechsler' in Google

runs on WebDSL