Skip to main content

The automatic detection of token structures and invariants using SAT checking

Pedro Antonino‚ Thomas Gibson−Robinson and A.W. Roscoe

Year
2017