Topics

Explore topics

#formalverification

Follow to get notified about new posts with this tag
starteos
blockchain
7y
The official launch of the First Global EOS-Based Formal Verification Project!
The official launch of the First Global EOS-Based Formal Verification Project!
On the 23rd of September 2019, the Blockchain Technology Research and Application Joint Laboratory (a Starteos established company) and the University of Electronic Science and Technology of China (UESTC)
32
selfdrivingsandp
internetofthings
9y
!Low reputation account with an unverified outbound link, Reveal content
Formally Verified Microkernel - seL4
Formally Verified Microkernel - seL4
seL4 is the world's first formally verified kernel from the specification to the implementation. The applications are endless, from drones, medical device implants, and self-driving vehicles. However,
2

Discover communities

Explore communities
Create your community