| Document Date: 2014-04-20 12:37:51
Open Document File Size: 167,01 KBShare Result on Facebook
City Dublin / Cannes / Grenoble / / Company SIAM Journal / MIT Press / CVS / Case / Reuse Candidates / Sun Microsystems Inc. / / Country France / Ireland / / Currency pence / / EntertainmentAwardEvent Cannes / / Facility Vladimir Klebanov Institute / Computer Science University / / IndustryTerm software verification system / deductive verification systems / reused rule applications / automated proof search mechanism / Formal software specifications / deductive program verification systems / few rule applications / integrated deductive software design / reactive systems / formal software verification / automated proof search procedure / difference algorithm / correct rule applications / object-oriented software verification / proof construction algorithm / rule applications / tree editing distance algorithm / software development / program verification systems / rule schema applications / diff algorithm / software verification / particular rule applications / / OperatingSystem GNU / / Organization MIT / Computer Science University / Vladimir Klebanov Institute / / Person Bernhard Beckert / Java Coding / Proc / / Position editor / programmer / official / / ProgrammingLanguage Java / Pascal / Object Constraint Language / C / / PublishedMedium SIAM Journal on Computing / Theoretical Computer Science / / Technology difference algorithm / matching algorithm / Java / GNU diff algorithm / tree editing distance algorithm / reuse algorithm / proof construction algorithm / same algorithm / / URL www.key-project.org / http /
SocialTag |
Proof Reuse for Deductive Program Verification Bernhard Beckert and Vladimir Klebanov Institute for Computer Science University of Koblenz-Landau www.key-project.org