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
Established: April 15, 2019
Publications
Publications
Publications by Year
-
-
Comprehensive Reachability Refutation and Witnesses Generation via Language and Tooling Co-Design
Mark Marron, Deepak Kapur
MSR-TR-2021-17 | August 2021
Published by Microsoft
-
Regularized Programming with the Bosque Language
Mark Marron
MSR-TR-2019-10 | April 2019
Published by Microsoft
Publications by Research Area
-
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
Published by Microsoft
Regularized Programming with the Bosque Language
Mark Marron
MSR-TR-2019-10 | April 2019
Published by Microsoft
Publications by 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
Published by Microsoft
Regularized Programming with the Bosque Language
Mark Marron
MSR-TR-2019-10 | April 2019
Published by Microsoft