The spirit of ghost code
- 期刊名称Formal Methods in System Design
- 作者Filliâtre, Jean-Christophe; Gondelman, Léon; Paskevich, Andrei
- 卷第48卷
- 期第3期
- 印刷ISSN0925-9856
- 电子ISSN1572-8102
- 文件大小1111.85KB
- 发表时间2016-6-6
- DOI10.1007/s10703-016-0243-x
- 页码152-174
PrefaceGopalakrishnan, Ganesh L.; Qadeer, Shaz · Formal Methods in System Design · 2012
2011 CAV award announcementVardi, Moshe Y.; Henzinger, Thomas A.; Alur, Rajeev; Kwiatkowska, Marta · Formal Methods in System Design · 2012
Being careful about theory combinationJovanović, Dejan; Barrett, Clark · Formal Methods in System Design · 2013
Time-triggered runtime verificationBonakdarpour, Borzoo; Navabpour, Samaneh; Fischmeister, Sebastian · Formal Methods in System Design · 2013
Code aware resource managementKrishnendu Chatterjee,Luca de Alfaro,Marco Faella… · Formal Methods in System Design · 2013
Weighted modal transition systemsSebastian S. Bauer,Uli Fahrenberg,Line Juhl… · Formal Methods in System Design · 2013
Program repair without regretvon Essen, Christian; Jobstmann, Barbara · Formal Methods in System Design · 2015
Synthesising correct concurrent runtime monitorsFrancalanza, Adrian; Seychell, Aldrin · Formal Methods in System Design · 2015