Liveness Analysis for Parameterised Boolean Equation Systems

DOI10.1007/978-3-319-11936-6_16zbMath1448.68302arXiv1304.6482OpenAlexW2165846252MaRDI QIDQ3457791

Jeroen J. A. Keiren, Wieger Wesselink, Tim A. C. Willemse

Publication date: 17 December 2015

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

Full work available at URL: https://arxiv.org/abs/1304.6482

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Related Items (5)

Parity game reductions ⋮ A formalisation of consistent consequence for Boolean equation systems ⋮ Exponential automatic amortized resource analysis ⋮ Partial-Order Reduction for Parity Games with an Application on Parameterised Boolean Equation Systems ⋮ Unnamed Item

This page was built for publication: Liveness Analysis for Parameterised Boolean Equation Systems