Full-stack observability with actually useful AI | Grafana Cloud
Our generous forever free tier includes the full platform, including the AI Assistant, for 3 users with 10k metrics, 50GB logs, and 50GB traces.
Built on open standards like Prometheus and OpenTelemetry, Grafana Cloud includes Kubernetes Monitoring, Application Observability, Incident Response, plus the AI-powered Grafana Assistant. Get started with our generous free tier today.
Create free account
Gemini 3 and 200+ AI Models on One Platform
Access Google's best plus Claude, Llama, and Gemma. Fine-tune and deploy from one console.
Build generative AI apps with Vertex AI. Switch between models without switching platforms.
It generates a recursive automaton text file to be parsed with the tools included in the librfa (http://fsvieira.com) project, that is able to generate to other formats/languages (C/C++, graphviz, ...)
Tool used to generate state machine framework code from a terse set of
directives embedded directly in the input source code file. This tool will also generate GraphViz graphical description and Spin/Promela modelling output.