Integrated Formal Methods - 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings (Paperback, 2010 ed.)

ThisvolumecontainstheproceedingsofIFM2010, the8thInternationalConf- ence on Integrated Formal Methods. The conference took place October 12-14, 2010, atthe INRIA researchcenterandthe LORIAlaboratoryinNancy, France. Previous editions were held in York, Dagstuhl, Turku, Canterbury, Eindhoven, Oxford, and Dusseldorf ] . The IFM conference series seeks to promote research into the combination of di?erent formal methods, including the combination of formal with semiformal methods, for system development. Such combinations are useful in order to apprehend di?erent aspects of systems, including fu- tional correctness, security, performance, and fault-tolerance. The conference provides a forum for discussing recent advances in the state of the art and for disseminating the results among the academic and industrial community. IFM2010received59submissions, coveringthespectrumofintegratedformal methods and ranging from formal and semiformal notations, semantics, re?- ment, veri?cation, and model transformations to type systems, logics, tools, and case studies. Each submission was reviewed by at least three members of the Program Committee. The committee decided to accept 20 papers. The conf- ence programalso included invited talks by Christel Baier, John Fitzgerald, and Rajeev Joshi. The conference was preceded by a day dedicated to the Wo- shop on Formal Methods for Web Data Trust and Security (WTS 2010)and two tutorials, one on the veri?cation of C# programs using Spec# and Boogie 2, + by Rosemary Monahan, and the other on the TLA proof system, by Denis Cousineau and Stephan Mer

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Lecture Notes in Computer Science, 6396
Release date:	October 2010
First published:	2010
Editors:	Dominique Mery • Stephan Merz
Dimensions:	234 x 156 x 18mm (L x W x T)
Format:	Paperback
Pages:	337
Edition:	2010 ed.
ISBN-13:	978-3-642-16264-0
Categories:	Books > Computing & IT > Computer programming > Software engineering
LSN:	3-642-16264-9
Barcode:	9783642162640

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!