A light-weight algorithm for model checking with symmetry reduction and weak fairness

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

11 Citations (Scopus)
Original languageEnglish
Title of host publicationModel Checking Software (10th International SPIN Workshop, Portland OR, USA, May 9-10, 2003. Proceedings)
EditorsT. Ball, S.K. Rajamani
Place of PublicationBerlin
ISBN (Print)3-540-40117-2
Publication statusPublished - 2003

Publication series

NameLecture Notes in Computer Science
ISSN (Print)0302-9743

Cite this