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

(10)

• Model checking the full modal mu-calculus for infinite sequential processes
• A novel approach to verifying context free properties of programs
• Complete SAT-Based Model Checking for Context-Free Processes
• COMPLETE SAT-BASED MODEL CHECKING FOR CONTEXT-FREE PROCESSES
• scientific article; zbMATH DE number 1088043 (Why is no real title available?)
• scientific article; zbMATH DE number 1500563 (Why is no real title available?)
• Model checking the full modal mu-calculus for infinite sequential processes
• Local model checking for context-free processes
• FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science
• A novel approach to verifying context free properties of programs

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)