Checking That Finite State Concurrent Programs Satisfy Their Linear Specification.

Orna Lichtenstein, Amir Pnueli

Browse the full POPL paper archive.