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

Computer Science

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

85 Scopus citations

Original language	English (US)
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: Jul 6 2005 → Jul 10 2005

All Science Journal Classification (ASJC) codes

Theoretical Computer Science
General Computer Science

Access to Document

10.1007/11513988_31

Cite this

@article{ac3e00b3b1a64cadbf246e4cd96948d5,

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 = "English (US)",

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

UR - https://www.scopus.com/pages/publications/26444468031#tab=citedBy

U2 - 10.1007/11513988_31

DO - 10.1007/11513988_31

M3 - Conference article

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

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Fingerprint

Cite this