Verifikationsplattform von Mentor Graphics sorgt für breite Anwendung formaler Verifikation