F-SOFT: Software verification platform

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

doi:10.1007/11513988_31

F-SOFT: Software verification platform

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

Faculty of Electronic and Information Engineering

Research output: Contribution to journal › Conference article › peer-review

85 Scopus citations

Original language	English
Pages (from-to)	301-306
Number of pages	6
Journal	Lecture Notes in Computer Science
Volume	3576
DOIs	https://doi.org/10.1007/11513988_31
State	Published - 2005
Event	17th International Conference on Computer Aided Verification, CAV 2005 - Edinburgh, Scotland, United Kingdom Duration: 6 Jul 2005 → 10 Jul 2005

Access to Document

10.1007/11513988_31

Cite this

@article{10072783aa2945579534171722ff3845,

title = "F-SOFT: Software verification platform",

author = "F. Ivan{\v c}i{\'c} and Z. Yang and Ganai, \{M. K.\} and A. Gupta and I. Shlyakhter and P. Ashar",

year = "2005",

doi = "10.1007/11513988\_31",

language = "英语",

volume = "3576",

pages = "301--306",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

publisher = "Springer Science and Business Media Deutschland GmbH",

note = "17th International Conference on Computer Aided Verification, CAV 2005 ; Conference date: 06-07-2005 Through 10-07-2005",

}

TY - JOUR

T1 - F-SOFT

T2 - 17th International Conference on Computer Aided Verification, CAV 2005

AU - Ivančić, F.

AU - Yang, Z.

AU - Ganai, M. K.

AU - Gupta, A.

AU - Shlyakhter, I.

AU - Ashar, P.

PY - 2005

Y1 - 2005

UR - https://www.scopus.com/pages/publications/26444468031

U2 - 10.1007/11513988_31

DO - 10.1007/11513988_31

M3 - 会议文章

AN - SCOPUS:26444468031

SN - 0302-9743

VL - 3576

SP - 301

EP - 306

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

Y2 - 6 July 2005 through 10 July 2005

ER -

F-SOFT: Software verification platform

Access to Document

Other files and links

Cite this