Published December 3, 2022
| Version v1
Journal article
Open
Treo to Promela
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 |