Pub Date : 1900-01-01DOI: 10.1007/978-3-7091-6355-9_16
Georg Rock, W. Stephan, A. Wolpers
{"title":"Modular reasoning about structured TLA specifications","authors":"Georg Rock, W. Stephan, A. Wolpers","doi":"10.1007/978-3-7091-6355-9_16","DOIUrl":"https://doi.org/10.1007/978-3-7091-6355-9_16","url":null,"abstract":"","PeriodicalId":197892,"journal":{"name":"Tool Support for System Specification, Development and Verification","volume":"444 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122885019","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}
Pub Date : 1900-01-01DOI: 10.1007/978-3-7091-6355-9_4
L. D. Bousquet, F. Ouabdesselam, I. Parissis, J. Richier, N. Zuanon
{"title":"Lutess: a testing environment for synchronous software","authors":"L. D. Bousquet, F. Ouabdesselam, I. Parissis, J. Richier, N. Zuanon","doi":"10.1007/978-3-7091-6355-9_4","DOIUrl":"https://doi.org/10.1007/978-3-7091-6355-9_4","url":null,"abstract":"","PeriodicalId":197892,"journal":{"name":"Tool Support for System Specification, Development and Verification","volume":"7 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126659946","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}
Pub Date : 1900-01-01DOI: 10.1007/978-3-7091-6355-9_14
Stephan Pfab, H. Ruess, S. Owre, F. V. Henke
{"title":"Towards Light-Weight Verification and Heavy-Weight Testing","authors":"Stephan Pfab, H. Ruess, S. Owre, F. V. Henke","doi":"10.1007/978-3-7091-6355-9_14","DOIUrl":"https://doi.org/10.1007/978-3-7091-6355-9_14","url":null,"abstract":"","PeriodicalId":197892,"journal":{"name":"Tool Support for System Specification, Development and Verification","volume":"16 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130994233","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}
Pub Date : 1900-01-01DOI: 10.1007/978-3-7091-6355-9_9
L. Holenderski, A. Poigné
{"title":"Synchronie Workbench","authors":"L. Holenderski, A. Poigné","doi":"10.1007/978-3-7091-6355-9_9","DOIUrl":"https://doi.org/10.1007/978-3-7091-6355-9_9","url":null,"abstract":"","PeriodicalId":197892,"journal":{"name":"Tool Support for System Specification, Development and Verification","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130010115","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}
Pub Date : 1900-01-01DOI: 10.1007/978-3-7091-6355-9_6
S. Contini, S. Scheer, M. Wilikens, G. D. Cola, G. Cojazzi
{"title":"ASTRA: An Integrated Tool Set for Complex Systems Dependability Studies","authors":"S. Contini, S. Scheer, M. Wilikens, G. D. Cola, G. Cojazzi","doi":"10.1007/978-3-7091-6355-9_6","DOIUrl":"https://doi.org/10.1007/978-3-7091-6355-9_6","url":null,"abstract":"","PeriodicalId":197892,"journal":{"name":"Tool Support for System Specification, Development and Verification","volume":"43 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131277825","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}
Pub Date : 1900-01-01DOI: 10.1007/978-3-7091-6355-9_12
Christoph Lüth, Einar W. Karlsen, Kolyang, Stefan Westmeier, B. Wolff
{"title":"Tool Integration in the UniForM-Workbench","authors":"Christoph Lüth, Einar W. Karlsen, Kolyang, Stefan Westmeier, B. Wolff","doi":"10.1007/978-3-7091-6355-9_12","DOIUrl":"https://doi.org/10.1007/978-3-7091-6355-9_12","url":null,"abstract":"","PeriodicalId":197892,"journal":{"name":"Tool Support for System Specification, Development and Verification","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117166998","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}
Pub Date : 1900-01-01DOI: 10.1007/978-3-7091-6355-9_8
W. Goerigk, T. Gaul, W. Zimmermann
{"title":"Correct Programs without Proof? On Checker-Based Program Verification","authors":"W. Goerigk, T. Gaul, W. Zimmermann","doi":"10.1007/978-3-7091-6355-9_8","DOIUrl":"https://doi.org/10.1007/978-3-7091-6355-9_8","url":null,"abstract":"","PeriodicalId":197892,"journal":{"name":"Tool Support for System Specification, Development and Verification","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128918214","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}
Pub Date : 1900-01-01DOI: 10.1007/978-3-7091-6355-9_3
R. Behnke, R. Berghammer, T. Hoffmann, Barbara Leoniuk, P. Schneider
{"title":"Applications of the Rel View System","authors":"R. Behnke, R. Berghammer, T. Hoffmann, Barbara Leoniuk, P. Schneider","doi":"10.1007/978-3-7091-6355-9_3","DOIUrl":"https://doi.org/10.1007/978-3-7091-6355-9_3","url":null,"abstract":"","PeriodicalId":197892,"journal":{"name":"Tool Support for System Specification, Development and Verification","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115242322","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}
Pub Date : 1900-01-01DOI: 10.1007/978-3-7091-6355-9_5
B. Buth
{"title":"PAMELA+PVS Verification of Sequential Programs","authors":"B. Buth","doi":"10.1007/978-3-7091-6355-9_5","DOIUrl":"https://doi.org/10.1007/978-3-7091-6355-9_5","url":null,"abstract":"","PeriodicalId":197892,"journal":{"name":"Tool Support for System Specification, Development and Verification","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122589808","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}
Pub Date : 1900-01-01DOI: 10.1007/978-3-7091-6355-9_1
R. Berghammer, Y. Lakhnech, W. Reif
{"title":"Formal Methods and Tools: Introduction and Overview","authors":"R. Berghammer, Y. Lakhnech, W. Reif","doi":"10.1007/978-3-7091-6355-9_1","DOIUrl":"https://doi.org/10.1007/978-3-7091-6355-9_1","url":null,"abstract":"","PeriodicalId":197892,"journal":{"name":"Tool Support for System Specification, Development and Verification","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122407901","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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：