scientific article; zbMATH DE number 751138

zbMATH Open0817.68102MaRDI QIDQ4764629FDOQ4764629

Authors: Hardi Hungar, Bernhard Steffen 

Publication date: 4 May 1995

Title of this publication is not available (Why is that?)

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

zbMATH Keywords

context-free processlocal model checking algorithm

Mathematics Subject Classification ID

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

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)