Invariants for parameterised Boolean equation systems
type: Item
instance of: scholarly article
title: Invariants for parameterised Boolean equation systems
zbMATH Open document ID: 1191.68415
author: Simona Orzan
author: T. A. C. Willemse
published in: Theoretical Computer Science
publication date: 2010-03-29T00:00:00Z
full work available at URL: invariants-for-parameterised-boolean-equation-systems(008bfa8d-04c5-4f63-8018-62efaed504bd).html
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 5687501
zbMATH Keywords: parameterised Boolean equation systems
zbMATH Keywords: invariants
zbMATH Keywords: fixed point theory
zbMATH Keywords: model checking
zbMATH Keywords: process theory
describes a project that uses: mCRL2
describes a project that uses: CADP
MaRDI profile type: Publication
OpenAlex ID: W2044934647
cites work: Q4737006
cites work: Automata, Languages and Programming
cites work: Equivalence Checking for Infinite Systems Using Parameterized Boolean Equation Systems
cites work: Instantiation for Parameterised Boolean Equation Systems
cites work: Q5584402
cites work: A practical secret voting scheme for large scale elections
cites work: Q4250361
cites work: Model-checking processes with data
cites work: Parameterised Boolean equation systems
cites work: An axiomatic basis for computer programming
cites work: Q4349924
cites work: Results on the propositional \(\mu\)-calculus
cites work: Invariants for Parameterised Boolean Equation Systems
cites work: Static Analysis Techniques for Parameterised Boolean Equation Systems
cites work: Correct Hardware Design and Verification Methods
cites work: Q2769579
cites work: Constructing invariants for hybrid systems
cites work: A lattice-theoretical fixpoint theorem and its applications
cites work: Formal Techniques for Networked and Distributed Systems - FORTE 2005
DOI: 10.1016/J.TCS.2009.11.001
description: scientific article; zbMATH DE number 5687501