id: "promela"
aliases:
  - "spin"
  - "pml"
name: "PROMELA"

install:
  apt:
    - spin

main: "main.pml"
template: |
  active proctype main() {
    printf("Hello, world!\n");
  }

run: |
  spin main.pml