Parameterized verification through view abstraction.

Parosh Aziz Abdulla Frédéric Haziza Lukás Holík

Published in: Int. J. Softw. Tools Technol. Transf. (2016)

Keyphrases

hardware designs
model checking
databases
multiple views
neural network
low level
bounded model checking