Comparing Verification Condition Generation with Symbolic Execution: An Experience Report (English)
- New search for: Kassios, I.T.
- New search for: Muller, P.
- New search for: Schwerhoff, M.
- New search for: Kassios, I.T.
- New search for: Muller, P.
- New search for: Schwerhoff, M.
- New search for: Joshi, R.
- New search for: Muller, P.
- New search for: Podelski, A.
In:
Verified Software: Theories, Tools, Experiments 4th International Conference, VSTTE 2012 Philadelphia, PA, USA, January 2012
7152
;
196-208
;
2012
-
ISSN:
- Article (Journal) / Print
-
Title:Comparing Verification Condition Generation with Symbolic Execution: An Experience Report
-
Contributors:Kassios, I.T. ( author ) / Muller, P. ( author ) / Schwerhoff, M. ( author ) / Joshi, R. / Muller, P. / Podelski, A.
-
Published in:Verified Software: Theories, Tools, Experiments 4th International Conference, VSTTE 2012 Philadelphia, PA, USA, January 2012 , 7152 ; 196-208LECTURE NOTES IN COMPUTER SCIENCE , 7152 ; 196-208
-
Publisher:
- New search for: SPRINGER-VERLAG
-
Publication date:2012-01-01
-
Size:13 pages
-
ISSN:
-
Type of media:Article (Journal)
-
Type of material:Print
-
Language:English
- New search for: 004
- Further information on Dewey Decimal Classification
-
Classification:
DDC: 004 -
Source:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.