Author :
Ferreira, Ana Paula Lüdtke
Author_Institution :
Univ. Fed. do Pampa, Bage, Brazil
Abstract :
Model Checking is a technique to prove a concurrent system finite model satisfies a given property. Largely used to prove hardware systems correct, new techniques allow its use also to verify software systems. This paper aims to present a tutorial overview of the fundamental principles of model checking, as presented in the WEIT 2011. The mais goal is to motivate undergraduate students to pursuit knowledge is this exciting area and to seek for the large body of available model checking literature and tools.
Keywords :
computer science education; program verification; WEIT 2011; concurrent system finite model; model checking; Computational modeling; Computers; Hardware; Programming; Semantics; Software; Model Checking; Program correctness; Temporal Logic;
Conference_Titel :
Theoretical Computer Science (WEIT), 2011 Workshop-School on
Conference_Location :
Pelotas, RS
Print_ISBN :
978-1-4673-0225-8
DOI :
10.1109/WEIT.2011.34