Published December 3, 2022 | Version v1
Journal article Open

Treo to Promela

Creators

  • 1. CWI

Description

An extension of the Treo compiler to Promela for verification of temporal properties.

Files

Treo_to_Promela.zip

Files (6.0 MB)

Name Size Download all
md5:dd21f1a853f63852a5a9537773207bfd
6.0 MB Preview Download