Debugging formal specifications using simple counterstrategies - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Robert KÃ¶nighofer, Georg Hofferek, Roderick Bloem. Debugging formal specifications using simple counterstrategies. In Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2009, 15-18 November 2009, Austin, Texas, USA. pages 152-159, IEEE, 2009. [doi]

This author has not been identified. Look up 'Robert KÃ¶nighofer' in GoogleThis author has not been identified. Look up 'Georg Hofferek' in GoogleThis author has not been identified. Look up 'Roderick Bloem' in Google

runs on WebDSL