High Assurance Software for Financial Regulation and Business Platforms
Stephen Goldbaum, Attila Mihaly, Tosha Ellison, Earl T. Barr, Mark Marron
International Conference on Verification, Model Checking, and Abstract Interpretation | January 2022
Bosque Programming Language
成立时间：April 15, 2019
论文与出版物
按年份分类的论文与出版物
-
-
Comprehensive Reachability Refutation and Witnesses Generation via Language and Tooling Co-Design
Mark Marron, Deepak Kapur
MSR-TR-2021-17 | August 2021
作者：Microsoft
-
Regularized Programming with the Bosque Language
Mark Marron
MSR-TR-2019-10 | April 2019
作者：Microsoft
按研究领域分类的论文与出版物
-
High Assurance Software for Financial Regulation and Business Platforms
Stephen Goldbaum, Attila Mihaly, Tosha Ellison, Earl T. Barr, Mark Marron
International Conference on Verification, Model Checking, and Abstract Interpretation | January 2022
Comprehensive Reachability Refutation and Witnesses Generation via Language and Tooling Co-Design
Mark Marron, Deepak Kapur
MSR-TR-2021-17 | August 2021
作者：Microsoft
Regularized Programming with the Bosque Language
Mark Marron
MSR-TR-2019-10 | April 2019
作者：Microsoft
按类型分类的论文与出版物
-
High Assurance Software for Financial Regulation and Business Platforms
Stephen Goldbaum, Attila Mihaly, Tosha Ellison, Earl T. Barr, Mark Marron
International Conference on Verification, Model Checking, and Abstract Interpretation | January 2022
-
Comprehensive Reachability Refutation and Witnesses Generation via Language and Tooling Co-Design
Mark Marron, Deepak Kapur
MSR-TR-2021-17 | August 2021
作者：Microsoft
Regularized Programming with the Bosque Language
Mark Marron
MSR-TR-2019-10 | April 2019
作者：Microsoft