miniblog.

← Back to all posts
Oct 3, 2017 at 18:22
Model-based development, formal verification, and trusting software used in cars:
The Coming Software Apocalypse
The Coming Software Apocalypse
A small group of programmers wants to change how we code—before catastrophe strikes.

Related Posts

Sep 5, 2020 at 05:59
Implementing a formal verification tool for Rust, supporting the same API as property testing libraries! https://alastairreid.github.io/why-not-both/ Requires a remarkable amount of glue code, so this doesn't feel like a mature domain yet.
Rust testing or verifying: Why not both?
Dijkstra famously dissed testing by saying “Program testing can be used to show the presence of bugs, but never to show their absence!” As if you should choose one over the other. I don’t see them as opposites but as complementary techniques that should both be used to improve the quality of your code.
Jan 20, 2020 at 14:33
Invited talk: Safety Verification for Deep Neural Networks: https://popl20.sigplan.org/details/VMCAI-2020-papers/22/Safety-and-Robustness-for-Deep-Learning-with-Provable-Guarantees How do we verify that a DNN is robust to adversarial attacks? How do we quantify safety? This approach looks at image features (Sift) and verifies all perturbations within a region.
Safety and Robustness for Deep Learning with Provable Guarantees (VMCAI 2020 - - 21st International Conference on Verification, Model Checking, and Abstract Interpretation) - POPL 2020
Welcome to the website of the 21st International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2020). VMCAI provides a forum for researchers from the communities of Verification, Model Checking, and Abstract Interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas. VMCAI 2020 will be the 21st edition in the series. Proceedings https://link.springer.com/book/10.1007/978-3-030-39322-9 Invited Speakers We are pleased to announce the the invited speakers for VMCAI 2020 are: Rajeev ...
Jan 20, 2020 at 14:19
Day 1 at @poplconf had a bunch of interesting talks at VMCAI (Verification, Model Checking, and Abstract Interpretation). https://popl20.sigplan.org/home/VMCAI-2020 Thread.
VMCAI 2020 - - 21st International Conference on Verification, Model Checking, and Abstract Interpretation - POPL 2020
Welcome to the website of the 21st International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2020). VMCAI provides a forum for researchers from the communities of Verification, Model Checking, and Abstract Interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas. VMCAI 2020 will be the 21st edition in the series. Proceedings https://link.springer.com/book/10.1007/978-3-030-39322-9 Invited Speakers We are pleased to announce the the invited speakers for VMCAI 2020 are: Rajeev ...