Using Interface Refinement to Integrate Formal Verification into the Design Cycle - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Jacob Chang, Sergey Berezin, David L. Dill. Using Interface Refinement to Integrate Formal Verification into the Design Cycle. In Rajeev Alur, Doron Peled, editors, Computer Aided Verification, 16th International Conference, CAV 2004, Boston, MA, USA, July 13-17, 2004, Proceedings. Volume 3114 of Lecture Notes in Computer Science, pages 122-134, Springer, 2004. [doi]

This author has not been identified. Look up 'Jacob Chang' in GoogleThis author has not been identified. Look up 'Sergey Berezin' in GoogleThis author has not been identified. Look up 'David L. Dill' in Google

runs on WebDSL