The Automatic Detection of Token Structures and Invariants Using SAT Checking.

Pedro R. G. Antonino, Thomas Gibson-Robinson, A. W. Roscoe

Browse the full TACAS paper archive.