Model checking of systems with many identical timed processes
type: Item
instance of: scholarly article
title: Model checking of systems with many identical timed processes
zbMATH Open document ID: 1018.68046
DOI: 10.1016/S0304-3975(01)00330-9
author: Parosh A. Abdulla
author: Bengt Jonsson
published in: Theoretical Computer Science
publication date: 2003-01-21T00:00:00Z
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 1857114
zbMATH Keywords: automatic verification of infinite state systems
describes a project that uses: CESAR
MaRDI profile type: Publication
cites work: Algorithmic analysis of programs with well quasi-ordered domains.
cites work: Undecidable verification problems for programs with unreliable channels
cites work: Verifying programs with unreliable channels
cites work: Q4036557
cites work: A really temporal logic
cites work: Q4138073
cites work: Q4847017
cites work: Q2757803
cites work: Deciding properties of integral relational automata
cites work: Automatic verification of finite-state concurrent systems using temporal logic specifications
cites work: Petri nets, commutative context-free grammars, and basic parallel processes
cites work: Reduction and covering of infinite reachability trees
cites work: Reasoning about systems with many processes
cites work: Using partial orders for the efficient verification of deadlock freedom and safety properties
cites work: Hybrid automata with finite bisimulations
cites work: Ordering by Divisibility in Abstract Algebras
cites work: Decidability of a temporal logic problem for Petri nets
cites work: Q4818859
cites work: Deciding bisimulation equivalences for a class of non-finite-state programs
cites work: A structural induction theorem for processes
cites work: Q3659988
cites work: Recoverability of Communication Protocols--Implications of a Theoretical Study
cites work: Q3940830
cites work: Decidability of bisimulation equivalence for normed pushdown processes
cites work: Q4036565
full work available at URL: s0304-3975(01)00330-9
OpenAlex ID: W2021255060
description: scientific article; zbMATH DE number 1857114