Year: 2001
Type: dissertation
Abstract: This dissertation describes research into the effective application of model checkers, smart computer programs which can be used to find errors in (the designs of) systems.
Author: Theodorus Cornelis Ruys
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W4289868901