Verifying Temporal Properties of Reactive Systems: A STeP Tutorial

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.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.