Transition Logic: How to Reason About Temporal Properties in a Compositional Way

Rob Gerth

Browse the full STOC paper archive.