Liveness Checking as Safety Checking for Infinite State Spaces

Victor Schuppan, Armin Biere

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

Original languageEnglish
Title of host publicationProc. 7th Int. Workshop on Verification of Infinite-State Systems (INFINITY'05), San Francisco, CA,USA
Number of pages12
Publication statusPublished - Aug 2005

Fields of science

  • 102 Computer Sciences
  • 102001 Artificial intelligence
  • 102011 Formal languages
  • 102022 Software development
  • 102031 Theoretical computer science
  • 603109 Logic
  • 202006 Computer hardware

Cite this