Titlebook: Static Analysis; 29th International S Gagandeep Singh,Caterina Urban Conference proceedings 2022 The Editor(s) (if applicable) and The Auth

刀鋒

Local Completeness Logic on?Kleene Algebra with?Testss can be endowed with an abstract domain so as to define the validity of correctness/incorrectness LCL triples and to show that the LCL proof system is logically sound and, under some hypotheses, complete.