Lazy-CSeq 2.0: Combining Lazy Sequentialization with Abstract Interpretation - (Competition Contribution) - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Truc L. Nguyen, Omar Inverso, Bernd Fischer 0002, Salvatore La Torre, Gennaro Parlato. Lazy-CSeq 2.0: Combining Lazy Sequentialization with Abstract Interpretation - (Competition Contribution). In Axel Legay, Tiziana Margaria, editors, Tools and Algorithms for the Construction and Analysis of Systems - 23rd International Conference, TACAS 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Part II. Volume 10206 of Lecture Notes in Computer Science, pages 375-379, 2017. [doi]

This author has not been identified. Look up 'Truc L. Nguyen' in GoogleThis author has not been identified. Look up 'Omar Inverso' in GoogleThis author has not been identified. It may be one of the following persons:

Bernd Fischer

Look up 'Bernd Fischer 0002' in GoogleThis author has not been identified. Look up 'Salvatore La Torre' in GoogleThis author has not been identified. Look up 'Gennaro Parlato' in Google

runs on WebDSL