计算机科学理论NFM 2020 12th NASA Formal Methods Symposium摘要截稿: 2019-12-12全文截稿: 2019-12-19开会时间: 2020-05-11会议难度: ★CCF分类: 无会议地点: Moffett Field, CA, USA网址:https://ti.arc.nasa.gov/events/nfm-2020/We encourage submissions on cross-cutting approaches that bring together formal methods and techniques from other domains such as probabilistic reasoning, machine learning, control theory, robotics, and quantum computing among others. Formal verification, including theorem proving, model checking, and static analysisAdvances in automated theorem proving including SAT and SMT solvingRun-time verificationTechniques and algorithms for scaling formal methods, such as abstraction and symbolic methods, compositional techniques, as well as parallel and/or distributed techniquesCode generation from formally verified modelsSafety cases
………………………………