Repositories list

• sliver

  Public
  The SLiVER LAbS VERifier

  model-checkingformal-verificationmulti-agent-systems

  Python

  •

  Other

  •0•0•2•0•Updated Nov 8, 2024Nov 8, 2024

• labs-examples

  Public
  Example LAbS specification files

  Other

  •0•0•0•0•Updated Nov 6, 2024Nov 6, 2024

• labsparse

  Public
  Experimental LAbS parser/analyser in Python

  Python

  •

  BSD 3-Clause "New" or "Revised" License

  •0•0•0•0•Updated Nov 5, 2024Nov 5, 2024

• labs

  Public
  LAbS: a Language with Attribute-based Stigmergies - Parser + Code generator

  fsharpverificationformal-methods+ 3slivermulti-agent-systemscseq

  F#

  •

  BSD 3-Clause "New" or "Revised" License

  •0•7•8•0•Updated Nov 5, 2024Nov 5, 2024

• sliver-cadp

  Public archive
  SLiVER-CADP: model checking and simulation of stigmergic collective systems

  F#

  •

  BSD 3-Clause "New" or "Revised" License

  •0•0•0•0•Updated Jul 2, 2024Jul 2, 2024