Promela language - PowerPoint PPT Presentation

SPIN

SPIN. An explicit state model checker. How does Spin work?. We already saw: The Algorithm The Promela Language We need to see how we does the tool work. High Level Organization. LTL formula. Promela Model. LTL Translator. Buchi Automaton. Buchi Translator. Promela Parser.

★ ★ ★ ★ ★

376 views • 7 slides

SPIN

★ ★ ★ ★ ★

128 views • 7 slides

View Promela language PowerPoint (PPT) presentations online in SlideServe. SlideServe has a very huge collection of Promela language PowerPoint presentations. You can view or download Promela language presentations for your school assignment or business presentation. Browse for the presentations on every topic that you want.