Zusammenfassung
For over four decades now, variants of Model Checkers are being used as an approach for
formal verification of systems consisting of software, hardware or combination of both. Though
various model checking tools are available like NuSMV, UPPAAL, PRISM, PAT,FDR, it is
difficult to comprehend their usage for systems in different domains like telecommunication,
automobile, health and entertainment. However, industry experts and researchers have
showcased the use of formal verifications techniques in various domains including
Networking, Security and Semiconductor design. With current generation systems becoming
more complex, there is an urgent need to better understand and use appropriate methodology,
language and tool for definite domain. In this paper, we have made an effort to present Model
checking in detail with relevance to available tools and languages to specific domain. For
novices in the field, this paper would provide knowledge of model checkers languages and tools
that would be suitable for various purposes in diverse systems.
Nutzer