TACO/docs/myst.yml at main · cispa/TACO · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
# See docs at: https://mystmd.org/guide/frontmatter
version: 1
project:
  id: 1ef2b476-ab7f-4869-bd13-7e17f203a02e
  title: "TACO Toolsuite"
  subtitle: "Model Checker for Threshold Automata"
  description: |
    "TACO is an automatic verification toolsuite for the development and \
    verification of fault-tolerant and threshold-based distributed algorithms."
  keywords:
    [
      taco,
      documentation,
      taco documentation,
      taco docs,
      user guide,
      user manual,
      verification,
      threshold automaton,
      protocol verification,
      model checking,
      distributed systems,
      fault tolerance,
      consensus algorithms,
    ]
  authors: ["TACO Contributors"]
  license:
    code: "Apache-2.0"
    content: "CC-BY-4.0"
  github: "https://github.com/cispa/TACO"
  source_url: "https://github.com/cispa/TACO/tree/main/docs"
  bibliography: ./references.bib
  copyright: "2026 - The TACO contributors"
  abbreviations:
    ETA: "Extended Threshold Automaton"
    TA: "Threshold Automaton"
    TACO: "Threshold Automata for COnsensus Model Checker"
    SMT: "Satisfiability Modulo Theories"
    ACS: "Abstract Counter System"
    ZCS: "01-Counter System"
    BDD: "Binary Decision Diagram"
  exclude:
    - "README.md"
  toc:
    - file: landing-page.tex
    - file: theoretical-background.tex
      children:
        - file: ./theoretical-background/algorithms.tex
    - file: usage-cli.md
      children:
        - file: ./usage-cli/install.md
        - file: ./usage-cli/commands.md
        - file: ./usage-cli/bymc-specification.md
        - file: ./usage-cli/tla-specification.md
        - file: ./usage-cli/advanced-configuration.md
    - file: dev-docs.md
      children:
        - url: https://taco-mc.dev/dev-docs/taco_interval_ta/index.html
          title: taco-interval-ta
        - url: https://taco-mc.dev/dev-docs/taco_threshold_automaton/index.html
          title: taco-threshold-automaton
        - url: https://taco-mc.dev/dev-docs/taco_model_checker/index.html
          title: taco-model-checker
        - url: https://taco-mc.dev/dev-docs/taco_smt_model_checker/index.html
          title: taco-smt-model-checker
        - url: https://taco-mc.dev/dev-docs/taco_zcs_model_checker/index.html
          title: taco-zcs-model-checker
        - url: https://taco-mc.dev/dev-docs/taco_acs_model_checker/index.html
          title: taco-acs-model-checker
        - url: https://taco-mc.dev/dev-docs/taco_bdd/index.html
          title: taco-bdd
        - url: https://taco-mc.dev/dev-docs/taco_cli/index.html
          title: taco-cli
        - url: https://taco-mc.dev/dev-docs/taco_display_utils/index.html
          title: taco-display-utils
        - url: https://taco-mc.dev/dev-docs/taco_smt_encoder/index.html
          title: taco-smt-encoder
    - file: about.md
  plugins:
    - ./resources/tla-highlighter.mjs
    - ./resources/ta-highlighter.mjs
site:
  template: book-theme
  options:
    numbered_references: true
    style: ./resources/style.css
    logo: ./resources/taco-logo.webp
    logo_text: "TACO Toolsuite"
    favicon: ./resources/taco-favicon.webp