Abstraction-Guided Model Checking Using Symbolic IDA* and Heuristic Synthesis - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Kairong Qian, Albert Nymeyer, Steven Susanto. Abstraction-Guided Model Checking Using Symbolic IDA* and Heuristic Synthesis. In Farn Wang, editor, Formal Techniques for Networked and Distributed Systems - FORTE 2005, 25th IFIP WG 6.1 International Conference, Taipei, Taiwan, October 2-5, 2005, Proceedings. Volume 3731 of Lecture Notes in Computer Science, pages 275-289, Springer, 2005. [doi]

This author has not been identified. Look up 'Kairong Qian' in GoogleThis author has not been identified. Look up 'Albert Nymeyer' in GoogleThis author has not been identified. Look up 'Steven Susanto' in Google

runs on WebDSL