scientific article; zbMATH DE number 1500563

MaRDI QIDQ4501584zbMATH OpenFDO

Authors Jens Knoop

Publication date 10 June 2001

zbMATH Keywords

context-free processesmodel-checking algorithmmu-calculus

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 751138
• Local model checking for context-free processes
• Complete SAT-Based Model Checking for Context-Free Processes
• Model checking the full modal mu-calculus for infinite sequential processes
• Model checking the full modal mu-calculus for infinite sequential processes

Cited in

(4)

• Complete SAT-Based Model Checking for Context-Free Processes
• COMPLETE SAT-BASED MODEL CHECKING FOR CONTEXT-FREE PROCESSES
• Local model checking for context-free processes
• scientific article; zbMATH DE number 751138 (Why is no real title available?)

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 Q4501584)