A BSP Algorithm for On-the-Fly Checking CTL* Formulas on Security Protocols.

Frdric Gava, Michal Guedj, Franck Pommereau

Browse the full PDCAT paper archive.