Theory And Practice Of Formal Methods

Author : Michael G. Hinchey,Jonathan P. Bowen
Publisher : Springer Science & Business Media
Page : 410 pages
File Size : 48,6 Mb
Release : 2012-12-06
Category : Computers
ISBN : 9781447105237

Get Book

Industrial-Strength Formal Methods in Practice by Michael G. Hinchey,Jonathan P. Bowen Pdf

Industrial Strength Formal Methods in Practice provides hands-on experience and guidance for anyone who needs to apply formal methods successfully in an industrial context. Each chapter is written by an expert in software engineering or formal methods, and contains background information, introductions to the techniques being used, actual fragments of formalised components, details of results and an analysis of the overall approach. It provides specific details on how to produce high-quality software that comes in on-time and within budget. Aimed mainly at practitioners in software engineering and formal methods, this book will also be of interest to the following groups; academic researchers working in formal methods who are interested in evidence of their success and in how they can be applied on an industrial scale, and students on advanced software engineering courses who need real-life specifications and examples on which to base their work.

Author : P. N. Scharbach
Publisher : Unknown
Page : 184 pages
File Size : 43,6 Mb
Release : 1989
Category : Computers
ISBN : UOM:39015015322251

Get Book

Formal Methods by P. N. Scharbach Pdf

This book is a self-contained exposition of formal methods for the specification, analysis and verification of system design. Representative applications of these methods are given to software specification and communications standardization.

Author : Jean-Francois Monin
Publisher : Springer Science & Business Media
Page : 288 pages
File Size : 42,8 Mb
Release : 2012-12-06
Category : Computers
ISBN : 9781447100430

Get Book

Understanding Formal Methods by Jean-Francois Monin Pdf

This is an excellent introduction to formal methods which will bring anyone who needs to know about this important topic up to speed. It is comprehensive, giving the reader all the information needed to explore the field of formal methods in more detail. It offers: a guide to the mathematics required; comprehensive but easy-to-understand introductions to various methods; a run-down of how formal methods can help to develop high-quality systems that come in on time, within budget, and according to requirements.

Author : Wolfgang Ahrendt,Bernhard Beckert,Richard Bubel,Reiner Hähnle,Peter H. Schmitt,Mattias Ulbrich
Publisher : Springer
Page : 714 pages
File Size : 53,5 Mb
Release : 2016-12-19
Category : Computers
ISBN : 9783319498126

Get Book

Deductive Software Verification – The KeY Book by Wolfgang Ahrendt,Bernhard Beckert,Richard Bubel,Reiner Hähnle,Peter H. Schmitt,Mattias Ulbrich Pdf

Static analysis of software with deductive methods is a highly dynamic field of research on the verge of becoming a mainstream technology in software engineering. It consists of a large portfolio of - mostly fully automated - analyses: formal verification, test generation, security analysis, visualization, and debugging. All of them are realized in the state-of-art deductive verification framework KeY. This book is the definitive guide to KeY that lets you explore the full potential of deductive software verification in practice. It contains the complete theory behind KeY for active researchers who want to understand it in depth or use it in their own work. But the book also features fully self-contained chapters on the Java Modeling Language and on Using KeY that require nothing else than familiarity with Java. All other chapters are accessible for graduate students (M.Sc. level and beyond). The KeY framework is free and open software, downloadable from the book companion website which contains also all code examples mentioned in this book.

Author : Erika Ábrahám,Marcello Bonsangue,Einar Broch Johnsen
Publisher : Springer
Page : 427 pages
File Size : 46,7 Mb
Release : 2016-03-12
Category : Computers
ISBN : 9783319307343

Get Book

Theory and Practice of Formal Methods by Erika Ábrahám,Marcello Bonsangue,Einar Broch Johnsen Pdf

This Festschrift volume has been published in honor of Frank de Boer, on the occasion of his 60th birthday. Frank S. de Boer is a prominent member of the research community in formal methods and theoretical computer science. A brief look at his lengthy publication list reveals a broad area of interest and a versatile modus operandi with: logic and constraint programming; deductive proof systems, soundness, and completeness; semantics, compositionality, and full abstraction; process algebra and decidability; multithreading and actor-based concurrency; agent programming, ontologies, and modal logic; real-time systems, timed automata, and schedulability; enterprise architectures, choreography, and coordination; testing and runtime monitoring; and cloud computing and service-level agreements. For a while, he also liked failures, especially in semantics, and optimistically concluded with the failure of failures. In fact, Frank has an opportunistic approach to research. Rather than seeing obstacles, he finds opportunities.

Author : Tiziana Margaria,Bernhard Steffen
Publisher : Springer Science & Business Media
Page : 881 pages
File Size : 43,9 Mb
Release : 2008-11-05
Category : Computers
ISBN : 9783540884798

Get Book

Leveraging Applications of Formal Methods, Verification and Validation by Tiziana Margaria,Bernhard Steffen Pdf

This volume contains the conference proceedings of ISoLA 2008, the Third International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, which was held in Porto Sani (Kassandra, Chalkidiki), Greece during October 13–15, 2008, sponsored by EASST and in cooperation with the IEEE Technical Committee on Complex Systems. Following the tradition of its forerunners in 2004 and 2006 in Cyprus, and the ISoLA Workshops in Greenbelt (USA) in 2005 and in Poitiers (France) in 2007, ISoLA 2008 provided a forum for developers, users, and researchers to discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems from the point of view of their different application domains. Thus, the ISoLA series of events serves the purpose of bridging the gap between designers and developers of rigorous tools, and users in engineering and in other disciplines, and to foster and exploit synergetic relationships among scientists, engineers, software developers, decision makers, and other critical thinkers in companies and organizations. In p- ticular, by providing a venue for the discussion of common problems, requirements, algorithms, methodologies, and practices, ISoLA aims at supporting researchers in their quest to improve the utility, reliability, flexibility, and efficiency of tools for building systems, and users in their search for adequate solutions to their problems.

Author : Cliff B. Jones,Zhiming Liu,Jim Woodcock
Publisher : Springer
Page : 542 pages
File Size : 41,9 Mb
Release : 2007-09-04
Category : Computers
ISBN : 9783540752219

Get Book

Formal Methods and Hybrid Real-Time Systems by Cliff B. Jones,Zhiming Liu,Jim Woodcock Pdf

This Festschrift volume is published to honour both Dines Bjørner and Zhou Chaochen on the occasion of their 70th birthdays. The volume includes 25 refereed papers by leading researchers, current and former colleagues, who congregated at a celebratory symposium held in Macao, China, in the course of the International Colloquium on Theoretical Aspects of Computing, ICTAC 2007. The papers cover a broad spectrum of subjects.

Author : A Edalat,S Jourdan,G McCusker
Publisher : World Scientific
Page : 340 pages
File Size : 52,9 Mb
Release : 1996-10-25
Category : Computer science
ISBN : 9781783263547

Get Book

Advances in Theory and Formal Methods of Computing by A Edalat,S Jourdan,G McCusker Pdf

This volume contains the proceedings of the third workshop of the Theory and Formal Methods Section of the Department of Computing, Imperial College, London. It covers various topics in theoretical computer science. Formal specification, theorem proving, operational and denotational semantics, real number computation, computational measure theory, and neural networks are all represented. Contents:A Smooth Approximation on the Edge of Chaos (P J Potts)Gamma and the Logic of Transition Traces (S J Gay & C L Hankin)The Generalized Riemann Integral on Locally Compact Spaces (A Edalat & S Negri)Specifications as Spans of Geometric Morphisms (T Plewe)A Semantic View on Distributed Computability and Complexity (E Goubault)Process Algebra for Object-Oriented Specification (S J Liebert)Type Inference for a Typed Process Calculus (R Harmer)On an Algebraic Flavoring of the Logical Approach (T Dimitrakos)Extending B AMN with Concurrency (K Lano et al.)Full Abstraction by Translation (G McCusker)Syntactic Continuity from Structural Operational Semantics (D Sands)Ordered SOS Rules and Weak Bisimulation (I Phillips & I Ulidowksi)and other papers Readership: Graduate students and researchers in computer science.

Author : Maurice H. ter Beek,Alessandro Fantechi,Laura Semini
Publisher : Springer Nature
Page : 574 pages
File Size : 52,6 Mb
Release : 2019-10-08
Category : Computers
ISBN : 9783030309855

Get Book

From Software Engineering to Formal Methods and Tools, and Back by Maurice H. ter Beek,Alessandro Fantechi,Laura Semini Pdf

This volume was published in honor of Stefania Gnesi’s 65th birthday. The Festschrift volume contains 32 papers written by close collaborators and friends of Stefania and was presented to her on October 8, 2019 one-day colloquium held in Porto, Portugal, The Festschrift consists of eight sections, seven of which reflect the main research areas to which Stefania has contributed. Following a survey of Stefania's legacy in research and a homage by her thesis supervisor, these seven sections are ordered according to Stefania's life cycle in research, from software engineering to formal methods and tools, and back: Software Engineering; Formal Methods and Tools; Requirements Engineering; Natural Language Processing; Software Product Lines; Formal Verification; and Applications.

Author : Lars-Henrik Eriksson,Peter A. Lindsay
Publisher : Springer
Page : 632 pages
File Size : 54,8 Mb
Release : 2003-08-02
Category : Computers
ISBN : 9783540456148

Get Book

FME 2002: Formal Methods - Getting IT Right by Lars-Henrik Eriksson,Peter A. Lindsay Pdf

This volume contains the proceedings of the 2002 symposium Formal Methods th Europe (FME 2002). The symposium was the 11 in a series that began with a VDM Europe symposium in 1987. The symposia are traditionally held every 18 months. In 2002 the symposium was held at the University of Copenhagen, as part of the 2002 Federated Logic Conference (FLoC 2002), which brought - gether in one event seven major conferences related to logic in computer science, as well as their a?liated workshops, tutorials, and tools exhibitions. Formal Methods Europe (www.fmeurope.org) is an independent association which aims to stimulate the use of, and research on, formal methods for software development. FME symposia have been notably successful in bringing together a community of users, researchers, and developers of precise mathematical - thods for software development. The theme of FME 2002 was “Formal Methods: Getting IT Right”. The double meaning was intentional. On the one hand, the theme acknowledged the signi?cant contribution formal methods can make to Information Technology, by enabling computer systems to be described precisely and reasoned about with rigour. On the other hand, it recognized that current formal methods are not perfect, and further research and practice are required to improve their foundations, applicability, and e?ectiveness.

Author : Zhiming Liu,Jim Woodcock,Huibiao Zhu
Publisher : Springer
Page : 413 pages
File Size : 42,5 Mb
Release : 2013-07-24
Category : Computers
ISBN : 9783642396984

Get Book

Theories of Programming and Formal Methods by Zhiming Liu,Jim Woodcock,Huibiao Zhu Pdf

This Festschrift volume, dedicated to He Jifeng on the occasion of his 70th birthday in September 2013, includes 24 refereed papers by leading researchers, current and former colleagues, who congratulated at a celebratory symposium held in Shanghai, China, in the course of the 10th International Colloquium on Theoretical Aspects of Computing, ICTAC 2013. The papers cover a broad spectrum of subjects, from foundational and theoretical topics to programs and systems issues and to applications, comprising formal methods, software and systems modeling, semantics, laws of programming, specification and verification, as well as logics. He Jifeng is known for his seminal work in the theories of programming and formal methods for software engineering. He is particularly associated with Unifying Theories of Programming (UTP) , the theory of data refinement and the laws of programming, and the rCOS formal method for object and component system construction. His book on UTP with Tony Hoare has been widely read and followed by a large number of researchers, and it has been used in many postgraduate courses. He was a senior researcher at Oxford during 1984-1998, and then a senior research fellow at the United Nations University International Institute for Software Technology (UNU-IIST) in Macau during 1998-2005. He has been a professor and currently the Dean of the Institute of Software Engineering at East China Normal University, Shanghai, China. In 2005, He Jifeng was elected as an academician to the Chinese Academy of Sciences. He also received an honorary doctorate from the University of York. He won a number of prestigious science and technology awards, including a 2nd prize of Natural Science Award from the State Council of China, a 1st prize of Natural Science Award from the Ministry of Education of China, a 1st prize of Technology Innovation from the Ministry of Electronic Industry, and a number awards from Shanghai government.

Author : Jonathan P. Bowen,Qin Li,Qiwen Xu
Publisher : Springer Nature
Page : 417 pages
File Size : 49,9 Mb
Release : 2023-09-07
Category : Computers
ISBN : 9783031404368

Get Book

Theories of Programming and Formal Methods by Jonathan P. Bowen,Qin Li,Qiwen Xu Pdf

This Festschrift volume, dedicated to Jifeng He on the occasion of his 80th birthday, includes refereed papers by leading researchers, many of them current and former colleagues, presented at a dedicated celebration in the Shanghai Science Hall in September 2023. Jifeng was an important researcher on the European ESPRIT ProCoS project and the Working Group on Provably Correct Systems, subsequently he collaborated with Tony Hoare on Unifying Theories of Programming. Jifeng returned to China in 1998, first to the United Nations University in Macau and then to the East China Normal University in Shanghai. He has since founded an Artificial Intelligence research institute that focuses on the application of technology in large-scale industrial software systems. His scientific contributions have been recognized through his election to membership of the Chinese Academy of Sciences. The first paper in the volume provides an overview of Jifeng’s research contributions, especially in the area of formal methods, and the following two papers detail developments in UTP and rCOS (refinement calculus of object systems). In the next two sections of the book, the editors included papers by colleagues and coauthors of Jifeng while he was at the University of Oxford and engaged with the European ProCoS project. The section that follows includes papers authored by colleagues from his later research in China and Europe. The final section includes a paper related to Jifeng’s recent roadmap for UTP.

Author : Michael Butler,Wolfram Schulte
Publisher : Springer Science & Business Media
Page : 462 pages
File Size : 49,7 Mb
Release : 2011-06-16
Category : Computers
ISBN : 9783642214363

Get Book

FM 2011: Formal Methods by Michael Butler,Wolfram Schulte Pdf

This book constitutes the refereed proceedings of the 17th International Symposium on Formal Methods, FM 2011, held in Limerick, Ireland, in June 2011. The 29 revised full papers presented together with 3 invited talks were carefully reviewed and selected from numerous submissions. The papers are organized in topical sections on cyber-physical systems, runtime analysis, case studies/tools, experience, program compilation and transformation, security, progress algebra, education, concurrency, dynamic structures, and model checking.

Author : C. Neville Dean,Raymond T. Boute
Publisher : Springer
Page : 252 pages
File Size : 52,5 Mb
Release : 2004-10-11
Category : Computers
ISBN : 9783540304722

Get Book

Teaching Formal Methods by C. Neville Dean,Raymond T. Boute Pdf

“Professional engineers can often be distinguished from other designers by the engineers’ ability to use mathematical models to describe and 1 analyze their products.” This observation by Parnas describes the de facto professional standards in all classical engineering disciplines (civil, mechanical, electrical, etc.). Unf- tunately, it is in sharp contrast with current (industrial) practice in software design, where mathematical models are hardly used at all, even by those who, 2 in Holloway’s words “aspire to be engineers.” The rare exceptions are certain critical applications, where mathematical techniques are used under the general name formal methods. Yet,thesamecharacteristicsthatmakeformalmethodsanecessityincritical applicationsmakethemalsoadvantageousineverydaysoftwaredesignatvarious levels from design e?ciency to software quality. Why, then, is education failing with respect to formal methods? – failing to convince students, academics and practitioners alike that formal methods are truly pragmatic; – failing to overcome a phobia of formality and mathematics; – failing to provide students with the basic skills and understanding required toadoptamoremathematicalandlogicalapproachtosoftwaredevelopment. Until education takes these failings seriously, formal methods will be an obscure byway in software engineering, which in turn will remain severely impoverished as a result.

Author : Wolfgang Grieskamp,Thomas Santen,Bill Stoddart
Publisher : Springer Science & Business Media
Page : 449 pages
File Size : 43,8 Mb
Release : 2007-10-23
Category : Computers
ISBN : 9783540409113

Get Book

Integrated Formal Methods by Wolfgang Grieskamp,Thomas Santen,Bill Stoddart Pdf