A Prolog System for the Verification of Concurrent Processes Against Temporal Logic Specifications.

Pier Giorgio Bosco, G. Giandonato, Elio Giovannetti

Browse the full ICLP paper archive.