Local model checking for context-free processes

DOI10.1007/3-540-56939-1_105MaRDI QIDQ4630295zbMATH OpenOpenAlexFDO

Authors Hardi Hungar, Bernhard Steffen

Publication date 29 March 2019

Published in Automata, Languages and Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-56939-1_105

zbMATH Keywords

automatic verificationfree processlabeled transition systemmodel checkingtransition system

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
• scientific article; zbMATH DE number 1500563
• Complete SAT-Based Model Checking for Context-Free Processes
• scientific article; zbMATH DE number 1088043
• COMPLETE SAT-BASED MODEL CHECKING FOR CONTEXT-FREE PROCESSES

Cites work

• A linear-time model-checking algorithm for the alternation-free modal mu- calculus
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• scientific article; zbMATH DE number 4131643 (Why is no real title available?)
• scientific article; zbMATH DE number 52748 (Why is no real title available?)
• scientific article; zbMATH DE number 176729 (Why is no real title available?)
• Proof systems for satisfiability in Hennessy-Milner logic with recursion
• Results on the propositional \(\mu\)-calculus
• Tableau-based model checking in the propositional mu-calculus

Cited in

(10)

• 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?)
• scientific article; zbMATH DE number 2087443 (Why is no real title available?)
• scientific article; zbMATH DE number 751138 (Why is no real title available?)
• Towards nominal context-free model-checking
• 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: Local model checking for context-free processes

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