2011年COST IC0701验证竞赛

{"title":"2011年COST IC0701验证竞赛","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":null,"url":null,"abstract":"","PeriodicalId":399176,"journal":{"name":"Formal Verification of Object-Oriented Software","volume":"56 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2011-10-05","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"33","resultStr":"{\"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\":null,\"url\":null,\"abstract\":\"\",\"PeriodicalId\":399176,\"journal\":{\"name\":\"Formal Verification of Object-Oriented Software\",\"volume\":\"56 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2011-10-05\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"33\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Formal Verification of Object-Oriented Software\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1007/978-3-642-31762-0_2\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Formal Verification of Object-Oriented Software","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1007/978-3-642-31762-0_2","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}