Dimitri Bohlender

The plugin's auto-formatting relies on `vim9script` which was still "experimental" during development of that functionality. It seems that later iterations of `vim9script` got a bit more restrictive wrt. naming of...

System invariants in GAL

10

Hi, I'm currently investigating the feasibility of using the GAL formalism in a side project of mine. The current approach characterises a system's semantics in terms of the [SMV](https://es-static.fbk.eu/tools/nuxmv/) formalism....