Papers tagged safety properties Elm: Automatically Deriving and Enforcing Data-Centric Safety Properties in Web Applications IronFleet: Proving Practical Distributed Systems Correct Browse All Keywords By Category
