Projecting transition systems: overcoming state explosion in concurrent system verification
type: Item
instance of: scholarly article
title: Projecting transition systems: overcoming state explosion in concurrent system verification
zbMATH Open document ID: 1339.68189
DOI: 10.1134/S0361768815060043
author: A. S. Kamkin
published in: Programming and Computer Software
publication date: 2016-06-27T00:00:00Z
Mathematics Subject Classification ID: 68Q85
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 6598729
describes a project that uses: CTESK
describes a project that uses: UniTESK
describes a project that uses: SPIN
describes a project that uses: SMV
MaRDI profile type: Publication
cites work: Mathematical modelling. Ideas. Methods. Examples
cites work: Q5664923
cites work: Q2754081
cites work: Model-based testing of reactive systems. Advanced lectures.
cites work: Q3204034
cites work: Q3995038
cites work: Irredundant algorithms for traversing directed graphs: The deterministic case
cites work: Irredundant algorithms for traversing directed graphs: the nondeterministic case
description: scientific article; zbMATH DE number 6598729