So what tools exist to formally verify low level (not necessarily C) imperative, concurrent code? Frama-C, VCC but Windows only, others?
-
-
@pcwalton I was actually originally thinking about Rust, and whether it would be useful to be able to do things [..]Thanks. Twitter will use this to make your timeline better. UndoUndo
-
-
-
@pcwalton like a doubly linked list (esp. intrusive list) without unsafe or performance cost.Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.