Increasing Confidence in Liveness Model Checking Results with Proofs

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


  • Tuomas Kuismin
  • Keijo Heljanko

Research units


Original languageEnglish
Title of host publicationThe 9th International Haifa Verification Conference (HVC 2013), Haifa, Israel, November 5-7, 2013
Publication statusPublished - 2013
MoE publication typeA4 Article in a conference publication

ID: 607687