Spinroot

A forum for Spin users

You are not logged in.

#1 2021-08-21 19:57:32

jllang
Member
From: Finland
Registered: 2021-05-05
Posts: 17

The syntax of PROMELA

It seems that there are some differences between the documented syntax of PROMELA and the syntax accepted by Spin. I made some findings while developing my own parser for PROMELA. I wrote my own EBNF for the dialect accepted by my tool along with some comments on the PROMELA syntax. I'd appreciate comments very much. My EBNF is available at GitHub: https://gist.github.com/jllang/54ff523beafa82058d05dd829ccc2671

Offline

#2 2021-09-03 10:36:10

jllang
Member
From: Finland
Registered: 2021-05-05
Posts: 17

Re: The syntax of PROMELA

Is the sublanguage that can occur in traces documented?

Offline

Board footer

Powered by FluxBB