Model Checking Fixed Point Logic with Chop.

Martin Lange, Colin Stirling

Browse the full FOSSACS paper archive.