Validating SMV specifications with ProB

Author

Matthäus Zloch

Advised By

Retrieved from "http://www.formal-methods.de/w/Validating_SMV_specifications_with_ProB"

Categories: Completed Thesis | Daniel Plagge