Verifying Temporal Properties of Reactive Systems: A STeP Tutorial - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Nikolaj Bjørner, Anca Browne, Michael Colón, Bernd Finkbeiner, Zohar Manna, Henny Sipma, Tomás E. Uribe. Verifying Temporal Properties of Reactive Systems: A STeP Tutorial. Formal Methods in System Design, 16(3):227-270, 2000.

This author has not been identified. Look up 'Nikolaj Bjørner' in GoogleThis author has not been identified. Look up 'Anca Browne' in GoogleThis author has not been identified. Look up 'Michael Colón' in GoogleThis author has not been identified. Look up 'Bernd Finkbeiner' in GoogleThis author has not been identified. Look up 'Zohar Manna' in GoogleThis author has not been identified. Look up 'Henny Sipma' in GoogleThis author has not been identified. Look up 'Tomás E. Uribe' in Google

runs on WebDSL