by Lowe, Gavin, Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, Paphos, Cyprus), Armando, Alessandro
fromLecture Notes in Computer Science
by Lowe, Gavin, Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security, Paphos, Cyprus), Armando, Alessandro
fromLecture Notes in Computer Science
Annotation
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…
Formal methods have made signi?cant progress in recent years with succe- ful stories from Microsoft (SLAM project), Intel (i7 processor veri?cation) and NICTA/OK-Lab (formal veri?cation of an OS kernel). The main focus of f- malengineeringmethodsliesinhowformalmethodscanbee?ect…
Annotation
