The bibliographic entry was discovered and compiled by a machine, and published without a person checking it against the publication. The publication itself is the authors' own work — this badge says nothing about it.

Modular Nonblocking Verification Using Conflict Equivalence

The work

AuthorsHugo Flordal; R. Malik
Editors
Typemisc
Year2006
Citekeyflordal2006modular

Where it appeared

Published inInternational Workshop on Discrete Event Systems
Pages100--106

Identifiers

DOI10.1109/wodes.2006.1678415
OpenAlexW2170715295

Access

Landing pagehttps://doi.org/10.1109/wodes.2006.1678415

From OpenAlex, which stores abstracts as an index of words and their positions: what is shown is rebuilt from that, and reads fluently whether or not it is what the author wrote.

Abstract

This paper proposes a modular approach to verifying whether a large discrete event system is nonconflicting. The new approach avoids computing the synchronous product of a large set of finite-state machines. Instead, the synchronous product is computed gradually, and intermediate results are simplified using conflict-preserving abstractions based on process-algebraic results about fair testing. Heuristics are used to choose between different possible abstractions. Experimental results show that the method is applicable to finite-state machine models of industrial scale and brings considerable improvements in performance over other methods

How it got here

How it got hereagent via openalex
Added2026-10-27 00:41 UTC
Not denied bya person 2026-10-29 17:12 UTC

Cite it as

@misc{flordal2006modular,
  title        = {Modular Nonblocking Verification Using Conflict Equivalence},
  author       = {Hugo Flordal and R. Malik},
  year         = {2006},
  journal      = {International Workshop on Discrete Event Systems},
  pages        = {100--106},
  doi          = {10.1109/wodes.2006.1678415},
}

This record lives at https://refs.drheap.org/flordal2006modular/ and will keep doing so.