F-SOFT: Software verification platform

F. Ivančić, Z. Yang, M. K. Ganai, A. Gupta, I. Shlyakhter, P. Ashar

Research output: Contribution to journalConference article

65 Scopus citations
Original languageEnglish (US)
Pages (from-to)301-306
Number of pages6
JournalLECTURE NOTES IN COMPUTER SCIENCE
Volume3576
DOIs
StatePublished - Jan 1 2005
Externally publishedYes
Event17th International Conference on Computer Aided Verification, CAV 2005 - Edinburgh, Scotland, United Kingdom
Duration: Jul 6 2005Jul 10 2005

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • Computer Science(all)

Fingerprint Dive into the research topics of 'F-SOFT: Software verification platform'. Together they form a unique fingerprint.

  • Cite this

    Ivančić, F., Yang, Z., Ganai, M. K., Gupta, A., Shlyakhter, I., & Ashar, P. (2005). F-SOFT: Software verification platform. LECTURE NOTES IN COMPUTER SCIENCE, 3576, 301-306. https://doi.org/10.1007/11513988_31