Automated Verification of Safety Requirements using CCS and Binary Decision Diagrams.

Reiner Lichtenecker, Klaus Gotthardt

Browse the full SAFECOMP paper archive.