New: formalverification

starteos (46)in blockchain • 5 years ago
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…
Downvoting a post can decrease pending rewards and make it less visible. Common reasons:
Disagreement on rewards
Fraud or plagiarism
Hate speech or trolling
Miscategorized content or spam

Submit
$0.52
Past Payouts $0.52
- Author $0.26
- Curators $0.26
0
selfdrivingsandp (25)in internetofthings • 7 years ago
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.…
Downvoting a post can decrease pending rewards and make it less visible. Common reasons:
Disagreement on rewards
Fraud or plagiarism
Hate speech or trolling
Miscategorized content or spam

Submit
$0.00
0