State Space Reduction of Linear Processes Using Control Flow Reconstruction

DOI10.1007/978-3-642-04761-9_5zbMath1262.68133OpenAlexW2123022028WikidataQ62047479 ScholiaQ62047479MaRDI QIDQ3648690

Jaco van de Pol, Mark Timmer

Publication date: 1 December 2009

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-04761-9_5

Mathematics Subject Classification ID

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

Related Items (5)

Decomposing monolithic processes in a process algebra with multi-actions ⋮ Confluence Reduction for Probabilistic Systems ⋮ Confluence reduction for Markov automata ⋮ A linear process-algebraic format with data for probabilistic automata ⋮ State Space Reduction of Linear Processes Using Control Flow Reconstruction

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Invariants for the construction of a handshake register
• State space reduction for process algebra specifications
• Model checking a cache coherence protocol of a Java DSM implementation
• Static analysis for state-space reductions preserving temporal logics
• Verification of a sliding window protocol in \(\mu\) CRL and PVS
• State Space Reduction of Linear Processes Using Control Flow Reconstruction
• Symbolic Reachability for Process Algebras with Recursive Data Types
• Linearization in parallel pCRL

This page was built for publication: State Space Reduction of Linear Processes Using Control Flow Reconstruction