Show simple item record

dc.contributor.authorKing, A
dc.contributor.authorSONDERGAARD, H
dc.contributor.editorGupta, A
dc.contributor.editorMalik, S
dc.date.available2014-05-22T03:54:12Z
dc.date.issued2008
dc.identifierhttp://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&KeyUT=WOS:000257539900026&DestLinkType=FullRecord&DestApp=ALL_WOS&UsrCustomerID=d4d813f4571fa7d6246bdc0dfeca3a1c
dc.identifier.citationKing, A. & SONDERGAARD, H. (2008). Inferring congruence equations using SAT. Gupta, A (Ed.) Malik, S (Ed.) Computer Aided Verification (Lecture Notes in Computer Science), 5123, pp.281-293. Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-540-70545-1_26.
dc.identifier.isbn3540705430
dc.identifier.isbn978-3-540-70543-7
dc.identifier.issn0302-9743
dc.identifier.urihttp://hdl.handle.net/11343/31654
dc.description.abstractThis paper proposes a new approach for deriving invariants that are systems of congruence equations where the modulo is a power of 2. The technique is an amalgam of SAT-solving, where a propositional formula is used to encode the semantics of a basic block, and abstraction, where the solutions to the formula are systematically combined and summarised as a system of congruence equations. The resulting technique is more precise than existing congruence analyses since a single optimal transfer function is derived for a basic block as a whole.
dc.languageEnglish
dc.publisherSpringer Berlin Heidelberg
dc.source20th International Conference on Computer Aided Verification (CAV)
dc.subjectComputer Software
dc.titleInferring congruence equations using SAT
dc.typeConference Paper
dc.identifier.doi10.1007/978-3-540-70545-1_26
melbourne.peerreviewPeer Reviewed
melbourne.affiliationThe University of Melbourne
melbourne.affiliation.departmentComputer Science and Software Engineering
melbourne.source.titleComputer Aided Verification (Lecture Notes in Computer Science)
melbourne.source.volume5123
melbourne.source.pages281-293
dc.research.codefor0803
dc.description.pagestart281
melbourne.publicationid96898
melbourne.elementsid299909
melbourne.contributor.authorSondergaard, Harald
dc.identifier.eissn1611-3349
melbourne.event.locationPrinceton, United States
melbourne.accessrightsThis item is currently not available from this repository


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record