Software Verification Using k-Induction

File(s)

paper.pdf (362.14 KB)

Accepted version

Show more

Author(s)

Donaldson, AF

Haller, L

Kroening, D

Rummer, P

Type

Conference Paper

Editor(s)

Yahav, E

Date Issued

2011-01-01

URI

http://hdl.handle.net/10044/1/14359

DOI

http;//dx.doi.org/10.1007/978-3-642-23702-7_26

ISBN

978-3-642-23701-0

ISSN

0302-9743

Publisher

SPRINGER-VERLAG BERLIN

Start Page

351

End Page

368

Journal / Book Title

STATIC ANALYSIS

Volume

6887

Copyright Statement

© Springer-Verlag Berlin Heidelberg 2011. The final publication is available at link.springer.com

License URL

http://www.rioxx.net/licenses/all-rights-reserved

Description

01.07.14 KB. Ok to add accepted version to spiral, 12 month embargo expired.

Identifier

http://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=000306978900026&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=1ba7043ffcc86c417c072aa74d649202

Source

18th International Static Analysis Symposium (SAS 2011)

Publication Status

Published

Start Date

2011-09-14

Finish Date

2011-09-16

Coverage Spatial

Venice, ITALY