Pub Date : 2020-05-11DOI: 10.1007/978-3-030-55754-6_5
S. Gokulanathan, Alexander Feldsher, Adi Malca, Clark W. Barrett, Guy Katz
{"title":"Simplifying Neural Networks Using Formal Verification","authors":"S. Gokulanathan, Alexander Feldsher, Adi Malca, Clark W. Barrett, Guy Katz","doi":"10.1007/978-3-030-55754-6_5","DOIUrl":"https://doi.org/10.1007/978-3-030-55754-6_5","url":null,"abstract":"","PeriodicalId":436677,"journal":{"name":"NASA Formal Methods","volume":"250 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-05-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114552852","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 : 2020-05-11DOI: 10.1007/978-3-030-55754-6_3
Matej Troják, David Šafránek, Lukrécia Mertová, L. Brim
{"title":"Parameter Synthesis and Robustness Analysis of Rule-Based Models","authors":"Matej Troják, David Šafránek, Lukrécia Mertová, L. Brim","doi":"10.1007/978-3-030-55754-6_3","DOIUrl":"https://doi.org/10.1007/978-3-030-55754-6_3","url":null,"abstract":"","PeriodicalId":436677,"journal":{"name":"NASA Formal Methods","volume":"3 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-05-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124715125","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 : 2020-05-11DOI: 10.1007/978-3-030-55754-6_19
P. Ezudheen, Zahra Rahimi Afzal, P. Prabhakar, D. D'Souza, Meenakshi D'Souza
{"title":"Verifying Band Convergence for Sampled Control Systems","authors":"P. Ezudheen, Zahra Rahimi Afzal, P. Prabhakar, D. D'Souza, Meenakshi D'Souza","doi":"10.1007/978-3-030-55754-6_19","DOIUrl":"https://doi.org/10.1007/978-3-030-55754-6_19","url":null,"abstract":"","PeriodicalId":436677,"journal":{"name":"NASA Formal Methods","volume":"15 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-05-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128466074","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 : 2020-05-11DOI: 10.1007/978-3-030-55754-6_10
M. Safari, Wytse Oortwijn, Sebastiaan J. C. Joosten, M. Huisman
{"title":"Formal Verification of Parallel Prefix Sum","authors":"M. Safari, Wytse Oortwijn, Sebastiaan J. C. Joosten, M. Huisman","doi":"10.1007/978-3-030-55754-6_10","DOIUrl":"https://doi.org/10.1007/978-3-030-55754-6_10","url":null,"abstract":"","PeriodicalId":436677,"journal":{"name":"NASA Formal Methods","volume":"69 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-05-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129990217","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 : 2020-05-11DOI: 10.1007/978-3-030-55754-6_22
Jannik Hüls, Henner Niehaus, Anne Remke
{"title":"hpnmg: A C++ Tool for Model Checking Hybrid Petri Nets with General Transitions","authors":"Jannik Hüls, Henner Niehaus, Anne Remke","doi":"10.1007/978-3-030-55754-6_22","DOIUrl":"https://doi.org/10.1007/978-3-030-55754-6_22","url":null,"abstract":"","PeriodicalId":436677,"journal":{"name":"NASA Formal Methods","volume":"41 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-05-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122990110","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 : 2020-05-11DOI: 10.1007/978-3-030-55754-6_23
Carina Pilch, Maurice Krause, Anne Remke, E. Ábrahám
{"title":"A Transformation of Hybrid Petri Nets with Stochastic Firings into a Subclass of Stochastic Hybrid Automata","authors":"Carina Pilch, Maurice Krause, Anne Remke, E. Ábrahám","doi":"10.1007/978-3-030-55754-6_23","DOIUrl":"https://doi.org/10.1007/978-3-030-55754-6_23","url":null,"abstract":"","PeriodicalId":436677,"journal":{"name":"NASA Formal Methods","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-05-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116471635","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 : 2020-05-11DOI: 10.1007/978-3-030-55754-6_12
Xiaoxin An, Amer Tahat, B. Ravindran
{"title":"A Validation Methodology for OCaml-to-PVS Translation","authors":"Xiaoxin An, Amer Tahat, B. Ravindran","doi":"10.1007/978-3-030-55754-6_12","DOIUrl":"https://doi.org/10.1007/978-3-030-55754-6_12","url":null,"abstract":"","PeriodicalId":436677,"journal":{"name":"NASA Formal Methods","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-05-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131255843","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 : 2020-05-11DOI: 10.1007/978-3-030-55754-6_25
Benoît Barbot, Nicolas Basset, T. Dang, Alexandre Donzé, J. Kapinski, Tomoya Yamaguchi
{"title":"Falsification of Cyber-Physical Systems with Constrained Signal Spaces","authors":"Benoît Barbot, Nicolas Basset, T. Dang, Alexandre Donzé, J. Kapinski, Tomoya Yamaguchi","doi":"10.1007/978-3-030-55754-6_25","DOIUrl":"https://doi.org/10.1007/978-3-030-55754-6_25","url":null,"abstract":"","PeriodicalId":436677,"journal":{"name":"NASA Formal Methods","volume":"71 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-05-11","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117171904","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
扫码关注我们
求助内容：
应助结果提醒方式：