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
-