pyfcstm

Tutorials

  • Tutorial roadmap
  • Quick Start
  • Write your first FCSTM DSL model
  • FCSTM simulation first run
  • First inspect report
  • First generated runtime
  • First diagram
  • Your First Bounded Model Check

How-to Guides

  • How-to roadmap
  • Install pyfcstm
  • CLI workflows
  • BMC Task Recipes
  • DSL task guide
  • Simulation tasks
  • Inspect tasks
  • Generation tasks
  • Visualization tasks
  • Template author tasks
  • Grammar and editor tasks

Explanations

  • Explanation map
  • Architecture explanation
  • DSL semantics explanation
  • Execution semantics explanation
  • How FCSTM Becomes a Bounded Transition System
  • Property Objectives, Definedness, and Bounds
  • BMC solving, witnesses, and replay boundaries
  • Diagnostics explanation
  • Template rendering explanation
  • Grammar tooling explanation

Reference

  • Reference map
  • CLI reference
  • DSL reference
  • Inspect report reference
  • Diagnostics code reference
  • Simulation reference
  • Visualization options reference
  • Template configuration reference
  • Grammar and editor tooling reference
  • Built-in templates reference
  • FBMCQ Language Reference
  • BMC CLI and Result Protocol Reference
  • API Documentation
    • pyfcstm
    • pyfcstm.bmc
    • pyfcstm.config
    • pyfcstm.diagnostics
    • pyfcstm.dsl
      • pyfcstm.dsl.error
      • pyfcstm.dsl.grammar
        • pyfcstm.dsl.grammar.GrammarLexer
        • pyfcstm.dsl.grammar.GrammarListener
        • pyfcstm.dsl.grammar.GrammarParser
        • pyfcstm.dsl.grammar.GrammarParserListener
      • pyfcstm.dsl.listener
      • pyfcstm.dsl.node
      • pyfcstm.dsl.parse
    • pyfcstm.entry
    • pyfcstm.highlight
    • pyfcstm.llm
    • pyfcstm.model
    • pyfcstm.render
    • pyfcstm.simulate
    • pyfcstm.solver
    • pyfcstm.template
    • pyfcstm.utils
    • pyfcstm.verify

Release Notes

  • Release Notes
pyfcstm
  • API Documentation
  • pyfcstm.dsl
  • pyfcstm.dsl.grammar
  • Edit on GitHub

pyfcstm.dsl.grammar

  • pyfcstm.dsl.grammar.GrammarLexer
    • GrammarLexer
      • GrammarLexer
    • serializedATN
      • serializedATN()
  • pyfcstm.dsl.grammar.GrammarListener
    • __all__
      • __all__
  • pyfcstm.dsl.grammar.GrammarParser
    • GrammarParser
      • GrammarParser
    • serializedATN
      • serializedATN()
  • pyfcstm.dsl.grammar.GrammarParserListener
    • GrammarParserListener
      • GrammarParserListener
Previous Next

© Copyright 2026, HansBug.

Built with Sphinx using a theme provided by Read the Docs.