products/sources/formale Sprachen/Coq/dev/ci/nix/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: stack.cob   Sprache: Unknown

\index{model checking example|(}%
\index{lfp@{\texttt{lfp}}!applications of|see{CTL}}
\input{Base.tex}
\input{PDL.tex}
\input{CTL.tex}
\index{model checking example|)}

[ Dauer der Verarbeitung: 0.17 Sekunden  (vorverarbeitet)  ]