Thorsten Bormer, Marc Brockschmidt, Dino Distefano, G. Ernst, J. Filliâtre, Radu Grigore, M. Huisman, V. Klebanov, C. Marché, Rosemary Monahan, Wojciech Mostowski, N. Polikarpova, Christoph Scheben, G. Schellhorn, B. Tofan, Julian Tschannen, Mattias Ulbrich
{"title":"The COST IC0701 Verification Competition 2011","authors":"Thorsten Bormer, Marc Brockschmidt, Dino Distefano, G. Ernst, J. Filliâtre, Radu Grigore, M. Huisman, V. Klebanov, C. Marché, Rosemary Monahan, Wojciech Mostowski, N. Polikarpova, Christoph Scheben, G. Schellhorn, B. Tofan, Julian Tschannen, Mattias Ulbrich","doi":"10.1007/978-3-642-31762-0_2","DOIUrl":"https://doi.org/10.1007/978-3-642-31762-0_2","url":null,"abstract":"","PeriodicalId":399176,"journal":{"name":"Formal Verification of Object-Oriented Software","volume":"56 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-10-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133004449","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Marc Brockschmidt, Thomas Ströder, Carsten Otto, J. Giesl
{"title":"Automated Detection of Non-termination and NullPointerExceptions for Java Bytecode","authors":"Marc Brockschmidt, Thomas Ströder, Carsten Otto, J. Giesl","doi":"10.1007/978-3-642-31762-0_9","DOIUrl":"https://doi.org/10.1007/978-3-642-31762-0_9","url":null,"abstract":"","PeriodicalId":399176,"journal":{"name":"Formal Verification of Object-Oriented Software","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-10-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126040520","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"A Formal Model of User-Defined Resources in Resource-Restricted Deployment Scenarios","authors":"E. Johnsen, R. Schlatte, S. L. T. Tarifa","doi":"10.1007/978-3-642-31762-0_13","DOIUrl":"https://doi.org/10.1007/978-3-642-31762-0_13","url":null,"abstract":"","PeriodicalId":399176,"journal":{"name":"Formal Verification of Object-Oriented Software","volume":"169 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-10-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121250730","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Verification of Information Flow Properties of Java Programs without Approximations","authors":"Christoph Scheben, P. Schmitt","doi":"10.1007/978-3-642-31762-0_15","DOIUrl":"https://doi.org/10.1007/978-3-642-31762-0_15","url":null,"abstract":"","PeriodicalId":399176,"journal":{"name":"Formal Verification of Object-Oriented Software","volume":"138 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2011-10-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124549968","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"Verification of Software Product Lines with Delta-Oriented Slicing","authors":"Daniel Grahl, V. Klebanov, Ina Schaefer","doi":"10.1007/978-3-642-18070-5_5","DOIUrl":"https://doi.org/10.1007/978-3-642-18070-5_5","url":null,"abstract":"","PeriodicalId":399176,"journal":{"name":"Formal Verification of Object-Oriented Software","volume":"25 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-06-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125414185","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"CVPP: A Tool Set for Compositional Verification of Control-Flow Safety Properties","authors":"M. Huisman, D. Gurov","doi":"10.1007/978-3-642-18070-5_8","DOIUrl":"https://doi.org/10.1007/978-3-642-18070-5_8","url":null,"abstract":"","PeriodicalId":399176,"journal":{"name":"Formal Verification of Object-Oriented Software","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-06-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128229120","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
{"title":"JMLUnit: The Next Generation","authors":"D. M. Zimmerman, Rinkesh Nagmoti","doi":"10.1007/978-3-642-18070-5_13","DOIUrl":"https://doi.org/10.1007/978-3-642-18070-5_13","url":null,"abstract":"","PeriodicalId":399176,"journal":{"name":"Formal Verification of Object-Oriented Software","volume":"46 9","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-06-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133021334","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
L. Hubert, Nicolas Barré, Frédéric Besson, Delphine Demange, T. Jensen, Vincent Monfort, David Pichardie, Tiphaine Turpin
{"title":"Sawja: Static Analysis Workshop for Java","authors":"L. Hubert, Nicolas Barré, Frédéric Besson, Delphine Demange, T. Jensen, Vincent Monfort, David Pichardie, Tiphaine Turpin","doi":"10.1007/978-3-642-18070-5_7","DOIUrl":"https://doi.org/10.1007/978-3-642-18070-5_7","url":null,"abstract":"","PeriodicalId":399176,"journal":{"name":"Formal Verification of Object-Oriented Software","volume":"83 1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-06-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114332996","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
D. Ancona, A. Corradi, Giovanni Lagorio, Ferruccio Damiani
{"title":"Abstract Compilation of Object-Oriented Languages into Coinductive CLP(X): Can Type Inference Meet Verification?","authors":"D. Ancona, A. Corradi, Giovanni Lagorio, Ferruccio Damiani","doi":"10.1007/978-3-642-18070-5_3","DOIUrl":"https://doi.org/10.1007/978-3-642-18070-5_3","url":null,"abstract":"","PeriodicalId":399176,"journal":{"name":"Formal Verification of Object-Oriented Software","volume":"9 30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2010-06-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127751597","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}