Search
 
loader loading subjects...
cover
Model Checking
Doron Peled
260 - 281
10.3233/978-1-60750-711-6-260
NATO Science for Peace and Security Series - D: Information and Communication Security
Volume 30: Software and Systems Safety
Abstract

Model checking is an effective way of comparing a system description against its formal specification and search systematically for errors. The method is gaining a lot of success by being integrated in the hardware design process, and in development of complicated protocols and software. Being an intractable problem, model checking is the ground for very active research that is inspired by many different areas in computer science.

$35.00 / €27.50 / £22.00
Add PDF to cart