Paper Accepted at TACAS'19

January 2019 - Our paper on "LCV: A Verification Tool for Linear Controller Software" has been accepted at the International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)!