PSL Model Checking and Run-Time Verification Via Testers.

Amir Pnueli, Aleksandr Zaks

Browse the full FM paper archive.