scientific article; zbMATH DE number 751138

MaRDI QIDQ4764629zbMATH OpenFDO

Authors Hardi Hungar, Bernhard Steffen

Publication date 4 May 1995

zbMATH Keywords

context-free processlocal model checking algorithm

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Local model checking for context-free processes
• scientific article; zbMATH DE number 1500563
• Complete SAT-Based Model Checking for Context-Free Processes
• COMPLETE SAT-BASED MODEL CHECKING FOR CONTEXT-FREE PROCESSES

Cited in

(8)

• Model checking the full modal mu-calculus for infinite sequential processes
• Model checking the full modal mu-calculus for infinite sequential processes
• Complete SAT-Based Model Checking for Context-Free Processes
• FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
• COMPLETE SAT-BASED MODEL CHECKING FOR CONTEXT-FREE PROCESSES
• A novel approach to verifying context free properties of programs
• A novel approach to verifying context free properties of programs
• Local model checking for context-free processes

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4764629)