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
Établi : April 15, 2019
Publications
Publications par année
-
-
Comprehensive Reachability Refutation and Witnesses Generation via Language and Tooling Co-Design
Mark Marron, Deepak Kapur
MSR-TR-2021-17 | August 2021
Publié par Microsoft
-
Regularized Programming with the Bosque Language
Mark Marron
MSR-TR-2019-10 | April 2019
Publié par Microsoft
Filtre par zone de recherche
-
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
Publié par Microsoft
Regularized Programming with the Bosque Language
Mark Marron
MSR-TR-2019-10 | April 2019
Publié par Microsoft
Publication Type
-
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
Publié par Microsoft
Regularized Programming with the Bosque Language
Mark Marron
MSR-TR-2019-10 | April 2019
Publié par Microsoft