Abstract Regular Model Checking

By Ahmed Bouajjani, Peter Habermehl, Tomáš Vojnar. International Conference on Computer Aided Verification, 2004

323 citations recorded by the source corpus.

Subfields: Artificial Intelligence, Computational Theory and Mathematics, Software

View Paper: https://www.semanticscholar.org/paper/062c154ce5401a36082840d1567d38c3fc4c334d