Explore >> Select a destination
|
You are here 
|
prilik.com | ||
| | | | |
www.koyeb.com
|
|
| | | | | Virtualization optimizes the use of computing resources. Firecracker, a lightweight virtualization technology, is transforming the possibilities of serverless workloads. | |
| | | | |
fqa.9front.org
|
|
| | | | | ||
| | | | |
model-checking.github.io
|
|
| | | | | In this post we'll apply the Kani Rust Verifier (or Kani for short), our open-source formal verification tool that can prove properties about Rust code, to an example from Firecracker, an open source virtualization project for serverless applications. We will use Kani to get a strong guarantee that Firecracker's block device is correct with respect to a simple virtio property when parsing guest requests, which may be invalid or malicious. In this way, we show how Kani can complement Firecracker's defense in depth investments, such as fuzzing. | |
| | | | |
www.jrgsystems.com
|
|
| | | I've been using FreeBSD on and off for many years now. I really like the project's focus on quality engineering and documentation. Recently, I've begun to look for ways to increase my skill as a software engineer while also contributing to open source software once again. Happily, joining the FreeBSD community as a developer meets both of these goals. With this in mind, I decided to purchase a UNIXy compatible laptop to develop on. | ||
