Verification of Liveness and Safety Properties of Behavioral Programs Using BPjs.

Michael Bar-Sinai, Gera Weiss

Browse the full ISoLA paper archive.