On model checking data-independent systems with arrays without reset

DOI10.1017/S1471068404002054zbMath1088.68108arXivcs/0405103MaRDI QIDQ4669653

Tom Newcomb, A. W. Roscoe, R. S. Lazić

Publication date: 15 April 2005

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

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

zbMATH Keywords

\(\mu\)-calculus

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Related Items (3)

Light-Weight SMT-based Model Checking ⋮ On the Decidability of the Safety Problem for Access Control Policies ⋮ Genericity and the \(\pi\)-calculus

This page was built for publication: On model checking data-independent systems with arrays without reset