Author: World Congress on Formal Methods in the Developmen
Publisher: Springer
Keywords: formal, methods, proceedings, lecture, computer, science, september, notes, toulouse, congress, world, development, computing, systems, france
Number of Pages: 1875
Published: 1999-10-18
List price: $123.00
ISBN-10: 3540665889
ISBN-13: 9783540665885

This book constitutes, together with its compagnion LNCS 1708, the refereed proceedings of the World Congress on Formal Methods in the Development of Computing Systems, FM’99, held in Toulouse, France in September 1999. The 92 revised full papers presented in the two volumes were carefully reviewed and selected from a total of 259 paper submissions from 35 different countries. Also included are 15 abstracts describing work in progress and industrial applications. The papers are organized in topical sections. This volume contains the following sections: foundations of system specification

Author: International Symposium of Formal MethodsMaurice
Publisher: Springer
Keywords: methods, formal, barcelona, spain, proc, europe, october, international, industrial, benefit, second, fme, symposium
Number of Pages: 723
Published: 1994-11-15
List price: $118.00
ISBN-10: 3540585559
ISBN-13: 9783540585558

This volume presents the proceedings of the Second International Symposium of Formal Methods Europe, held in Barcelona, Spain in October 1994. Besides two invited papers and seven industrial usage reports, there are 32 full papers selected from some 150 submissions. The industrial usage reports describe practical experiences in a variety of areas including security systems and railway signalling. The subjects of the research papers include refinement, proof, process modelling, specification of programming languages, model checking, real-time aspects, and the combination of formal and systemati

Authors:James C.P. Woodcock, Peter G. Larse,
Publisher: Springer
Keywords: formal, methods, proceedings, april, lecture, notes, science, denmark, computer, europe, strength, industrial, first, international, fme, symposium, odense
Number of Pages: 689
Published: 1993-05-07
List price: $115.00
ISBN-10: 3540566627
ISBN-13: 9783540566625

The last few years have borne witness to a remarkable diversity of formal methods, with applications to sequential and concurrent software, to real-time and reactive systems, and to hardware design. In that time, many theoretical problems have been tackled and solved, and many continue to be worked upon. Yet it is by the suitability of their industrial application and the extent of their usage that formal methods will ultimately be judged. This volume presents the proceedings of the first international symposium of Formal Methods Europe, FME’93. The symposium focuses on the application o

Authors:Marie-Claude Gaudel, James Woodcock,
Publisher: Springer
Keywords: methods, formal, oxford, ifip, lecture, science, notes, sponsored, computer, symposium, benefit, industrial, advances, third, fme, international, europe
Number of Pages: 704
Published: 1996-03-06
List price: $113.00
ISBN-10: 3540609733
ISBN-13: 9783540609735

This book presents the refereed proceedings of the Third International Symposium of Formal Methods Europe, FME ’96, held in Oxford, UK, in March 1996. FME ’96 was co-sponsored by IFIP WG 14.3 and devoted to "the application and demonstrated industrial benefit of formal methods, their new horizons and strengthened foundations". The 35 full revised papers included were selected from a total of 103 submissions; also included are three invited papers. The book addresses all relevant aspects of formal methods, from the point of view of the industrial R & D professional as well as fr

Authors:Marco Bernardo, Jane Hillston,
Publisher: Springer
Keywords: software, formal, methods, systems, programming, engineering, communication, design, performance, evaluation, international, school, computer
Number of Pages: 469
Published: 2007-06-28
List price: $79.95
ISBN-10: 3540724826
ISBN-13: 9783540724827

This book presents a set of 11 papers accompanying the lectures of leading researchers given at the 7th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2007, held in Bertinoro, Italy in May/June 2007. SFM 2007 was devoted to formal techniques for performance evaluation and coveres several aspects of the field, including formalisms for performance modeling (Markov chains, queueing networks, stochastic Petri nets, and stochastic process algebras), equivalence checking and model checking, efficient solution techniques, and

Authors:Marco Bernardo, Alessandro Cimatti,
Publisher: Springer
Keywords: formal, software, methods, systems, programming, engineering, communication, sfm, design, hardware, verification, international, school, computer
Number of Pages: 243
Published: 2006-07-06
List price: $69.95
ISBN-10: 3540343040
ISBN-13: 9783540343042

This book presents a set of 8 papers accompanying the lectures of leading researchers given at the 6th edition of the International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2006, held in Bertinoro, Italy in May 2006. SFM 2006 was devoted to formal techniques for hardware verification and covers several aspects of the hardware design process, including hardware design languages and simulation, property specification formalisms, automatic test pattern generation, symbolic trajectory evaluation, BDD-based and SAT-based model checking, decision

Authors:Jorge Cuellar, Tom Maibaum,
Publisher: Springer
Keywords: formal, methods, science, computer, software, engineering, notes, programming, proceedings, international, symposium, turku, finland, lecture
Number of Pages: 436
Published: 2008-06-23
List price: $79.95
ISBN-10: 354068235X
ISBN-13: 9783540682356

This book presents the refereed proceedings of the 15th International Symposium on Formal Methods, FM 2008, held in Turku, Finland in May 2008. The 23 revised full papers presented together with 4 invited contributions and extended abstracts of 5 invited industrial presentations were carefully reviewed and selected from 106 submissions. The papers are organized in topical sections on programming language analysis, verification, real-time and concurrency, grand chellenge problems, fm practice, runtime monitoring and analysis, communication, constraint analysis, and design.