"This book is the first text on model checking at a graduate/undergraduate level. It is divided into three parts. The first part is concerned with the fundamental notions (modelling with finite automata, synchronous product of automata, temporal logic, model-checking algorithms,…
This book constitutes the thoroughly refereed post-workshop proceedings of the 13th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2008, held in L'Aquila, Italy, in September 2008 - colocated with ASE 2008, the 23rd International Conference on Au…
This book constitutes the proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis, ATVA 2009, held in Macao, China, in October 2009. The 23 regular papers and 3 took papers presented together with 3 invited talks, were carefully revie…
by Ravn, Anders P., Liu, Zhiming, ATVA, Macau, ATVA, Macao), International Symposium on Automated Technology for Verification and Analysis, Macao)
fromLecture Notes in Computer Science
This book constitutes the proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis, ATVA 2009, held in Macao, China, in October 2009. The 23 regular papers and 3 took papers presented together with 3 invited talks, were carefully revie…
Annotation
This book provides a tutorial introduction to modern techniques for representing and reasoning about qualitative preferences with respect to a set of alternatives. The syntax and semantics of several languages for representing preference languages, including CP-nets, TCP-nets, C…
