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: Chapter in Book/Report/Conference proceeding › Conference contribution

85 Scopus citations

Original language	English (US)
Title of host publication	Computer Aided Verification
Subtitle of host publication	17th International Conference, CAV 2005. Proceedings
Publisher	Springer Verlag
Pages	301-306
Number of pages	6
ISBN (Print)	9783540272311
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

Publication series

Name	Lecture Notes in Computer Science
Volume	3576
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	17th International Conference on Computer Aided Verification, CAV 2005
Country/Territory	United Kingdom
City	Edinburgh, Scotland
Period	7/6/05 → 7/10/05

All Science Journal Classification (ASJC) codes

Theoretical Computer Science
General Computer Science

Access to Document

10.1007/11513988_31

Cite this

@inproceedings{3f584e4218234de98fb44ec4e20b38a5,

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)",

isbn = "9783540272311",

series = "Lecture Notes in Computer Science",

publisher = "Springer Verlag",

pages = "301--306",

booktitle = "Computer Aided Verification",

address = "Germany",

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

}

Ivančić, F, Yang, Z, Ganai, MK, Gupta, A, Shlyakhter, I & Ashar, P 2005, F-SOFT: Software verification platform. in Computer Aided Verification: 17th International Conference, CAV 2005. Proceedings. Lecture Notes in Computer Science, vol. 3576, Springer Verlag, pp. 301-306, 17th International Conference on Computer Aided Verification, CAV 2005, Edinburgh, Scotland, United Kingdom, 7/6/05. https://doi.org/10.1007/11513988_31

TY - GEN

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 contribution

AN - SCOPUS:26444468031

SN - 9783540272311

T3 - Lecture Notes in Computer Science

SP - 301

EP - 306

BT - Computer Aided Verification

PB - Springer Verlag

Y2 - 6 July 2005 through 10 July 2005

ER -

F-SOFT: Software verification platform

Publication series

Conference

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Fingerprint

Cite this