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

Release Notes

  • Release Notes
pyfcstm
  • Search

© Copyright 2026, HansBug.

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