Methods Of Formal Software Verification In The Context Of Distributed Systems

Anna Fatkina,Oleg Iakushkin,Dmitry Selivanov,Vladimir Korkhov

COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2019, PT II: 19TH INTERNATIONAL CONFERENCE, SAINT PETERSBURG, RUSSIA, JULY 1-4, 2019, PROCEEDINGS, PART II（2019）

引用 2|浏览4

关键词

Formal verification, Proof assistant, TLA, Isabelle/HOL, Coq, Verdi, Distributed systems

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要