How bit-vector logic can help improve the verification of LTL specifications over infinite domains - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Luciano Baresi, Mohammad Mehdi Pourhashem Kallehbasti, Matteo Rossi. How bit-vector logic can help improve the verification of LTL specifications over infinite domains. In Sascha Ossowski, editor, Proceedings of the 31st Annual ACM Symposium on Applied Computing, Pisa, Italy, April 4-8, 2016. pages 1666-1673, ACM, 2016. [doi]

This author has not been identified. It may be one of the following persons:

Luciano Baresi

Look up 'Luciano Baresi' in GoogleThis author has not been identified. Look up 'Mohammad Mehdi Pourhashem Kallehbasti' in GoogleThis author has not been identified. Look up 'Matteo Rossi' in Google

runs on WebDSL