Dynamic partial-order reduction for model checking software

There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Author and article information

Conference

Publication date (Print): 2005

Pages: 110-121

Article

DOI: 10.1145/1040305.1040315

SO-VID: d6ce7d94-46a1-471b-bd94-def5190d7c9e

Conference name: the 32nd ACM SIGPLAN-SIGACT sysposium

Conference acronym: POPL '05

Conference number: 32

Conference location: Long Beach, California, USA

Conference date: February 12, 2005 - February 14, 2005

Conference sponsor: SIGPLAN, ACM Special Interest Group on Programming Languages

Conference sponsor: SIGACT, ACM Special Interest Group on Algorithms and Computation Theory

Conference sponsor: ACM, Association for Computing Machinery

History

Data availability:

Comments

Comment on this article

scite_

Smart Citations

Citing PublicationsSupportingMentioningContrasting

View Citations

See how this article has been cited at scite.ai

scite shows how a scientific paper has been cited by providing the context of the citation, a classification describing whether it supports, mentions, or contrasts the cited claim, and a label indicating in which section the citation was made.