Stephan Merz – författare

Visar alla böcker från författaren . Handla med fri frakt och snabb leverans.

13 produkter

Kategorier

13 produkter

Modeling and Verification of Real-time Systems
Formalisms and Software Tools
AvStephan Merz,Nicolas Navet
E-bok
PDF, Engelska, 2010
3 344 kr
Läs direkt efter köp
This title is devoted to presenting some of the most important concepts and techniques for describing real-time systems and analyzing their behavior in order to enable the designer to achieve guarantees of temporal correctness.
Topics addressed include mathematical models of real-time systems and associated formal verification techniques such as model checking, probabilistic modeling and verification, programming and description languages, and validation approaches based on testing. With contributions from authors who are experts in their respective fields, this will provide the reader with the state of the art in formal verification of real-time systems and an overview of available software tools.
Modeling and Verification of Real-time Systems
Formalisms and Software Tools
AvStephan Merz,Nicolas Navet
E-bok
Engelska, 2013
3 344 kr
Läs direkt efter köp
This title is devoted to presenting some of the most important concepts and techniques for describing real-time systems and analyzing their behavior in order to enable the designer to achieve guarantees of temporal correctness.
Topics addressed include mathematical models of real-time systems and associated formal verification techniques such as model checking, probabilistic modeling and verification, programming and description languages, and validation approaches based on testing. With contributions from authors who are experts in their respective fields, this will provide the reader with the state of the art in formal verification of real-time systems and an overview of available software tools.
Modeling and Verification of Real-time Systems
Formalisms and Software Tools
AvNicolas Navet,Stephan Merz
Inbunden, Engelska, 2008
3 021 kr
Skickas inom 11-20 vardagar
This title is devoted to presenting some of the most important concepts and techniques for describing real-time systems and analyzing their behavior in order to enable the designer to achieve guarantees of temporal correctness. Topics addressed include mathematical models of real-time systems and associated formal verification techniques such as model checking, probabilistic modeling and verification, programming and description languages, and validation approaches based on testing. With contributions from authors who are experts in their respective fields, this will provide the reader with the state of the art in formal verification of real-time systems and an overview of available software tools.
Del 8829 - Lecture Notes in Computer Science
Formal Methods and Software Engineering
16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings
AvStephan Merz,Jun Pang
Häftad, Engelska, 2014
562 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 16th International Conference on Formal Engineering Methods, ICFEM 2014, held in Luxembourg, Luxembourg, in November 2014. The 28 revised full papers presented were carefully reviewed and selected from 73 submissions. The papers cover a wide range of topics in the area of formal methods and software engineering and are devoted to advancing the state of the art of applying formal methods in practice. They focus in particular on combinations of conceptual and methodological aspects with their formal foundation and tool support.
Formal Methods and Software Engineering
16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014, Proceedings
AvJun Pang,Stephan Merz
E-bok
PDF, Engelska, 2014
732 kr
Läs direkt efter köp
This book constitutes the refereed proceedings of the 16th International Conference on Formal Engineering Methods, ICFEM 2014, held in Luxembourg, Luxembourg, in November 2014. The 28 revised full papers presented were carefully reviewed and selected from 73 submissions. The papers cover a wide range of topics in the area of formal methods and software engineering and are devoted to advancing the state of the art of applying formal methods in practice. They focus in particular on combinations of conceptual and methodological aspects with their formal foundation and tool support.
Del 9807 - Lecture Notes in Computer Science
Interactive Theorem Proving
7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings
AvJasmin Christian Blanchette,Stephan Merz
Häftad, Engelska, 2016
562 kr
Skickas inom 10-15 vardagar
This book constitutes the refereed proceedings of the 7th International Conference on Interactive Theorem Proving, ITP 2016, held in Nancy, France, in August 2016.The 27 full papers and 5 short papers presented were carefully reviewed and selected from 55 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematical theories.
Interactive Theorem Proving
7th International Conference, ITP 2016, Nancy, France, August 22-25, 2016, Proceedings
AvStephan Merz,Jasmin Christian Blanchette
E-bok
PDF, Engelska, 2016
732 kr
Läs direkt efter köp
This book constitutes the refereed proceedings of the 7th International Conference on Interactive Theorem Proving, ITP 2016, held in Nancy, France, in August 2016.The 27 full papers and 5 short papers presented were carefully reviewed and selected from 55 submissions. The topics range from theoretical foundations to implementation aspects and applications in program verification, security and formalization of mathematical theories.
Formal Systems Specification
The RPC-Memory Specification Case Study
AvManfred Broy,Stephan Merzm. fl.
Häftad, Engelska, 1996
562 kr
Skickas inom 10-15 vardagar
The RPC-memory specification problem was proposed by Broy and Lamport as a case study in the formal design of distributed and concurrent systems. As a realistic example typical for operating systems and hardware design, the RPC-memory problem was used as the basis for comparing various approaches to formal specification, refinement, and verification.Preliminary solutions were discussed during a workshop at Schloss Dagstuhl, Germany, in September 1994. Then an extensive discussion took place between the referees and authors. Finally 15 thoroughly revised papers were accepted for inclusion in this volume in full detail together with the problem statement and a synopsis.
Temporal Logic and State Systems
AvFred Kröger,Stephan Merz
Inbunden, Engelska, 2008
839 kr
Skickas inom 10-15 vardagar
Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification of state-based systems. Based on university lectures given by the authors, this book is a comprehensive, concise, uniform, up-to-date presentation of the theory and applications of linear and branching time temporal logic; TLA (Temporal Logic of Actions); automata theoretical connections; model checking; and related theories. All theoretical details and numerous application examples are elaborated carefully and with full formal rigor, and the book will serve as a basic source and reference for lecturers, graduate students and researchers.
Temporal Logic and State Systems
AvStephan Merz,Fred Kroger
E-bok
PDF, Engelska, 2008
1 073 kr
Läs direkt efter köp
Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification of state-based systems. Based on university lectures given by the authors, this book is a comprehensive, concise, uniform, up-to-date presentation of the theory and applications of linear and branching time temporal logic; TLA (Temporal Logic of Actions); automata theoretical connections; model checking; and related theories.
All theoretical details and numerous application examples are elaborated carefully and with full formal rigor, and the book will serve as a basic source and reference for lecturers, graduate students and researchers.
Temporal Logic and State Systems
AvFred Kröger,Stephan Merz
Häftad, Engelska, 2010
839 kr
Skickas inom 10-15 vardagar
Temporal logic has developed over the last 30 years into a powerful formal setting for the specification and verification of state-based systems. Based on university lectures given by the authors, this book is a comprehensive, concise, uniform, up-to-date presentation of the theory and applications of linear and branching time temporal logic; TLA (Temporal Logic of Actions); automata theoretical connections; model checking; and related theories. All theoretical details and numerous application examples are elaborated carefully and with full formal rigor, and the book will serve as a basic source and reference for lecturers, graduate students and researchers.
Integrated Formal Methods
8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings
AvDominique Méry,Stephan Merz
Häftad, Engelska, 2010
562 kr
Skickas inom 10-15 vardagar
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 Merz.
Integrated Formal Methods
8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings
AvStephan Merz,Dominique Mery
E-bok
PDF, Engelska, 2010
732 kr
Läs direkt efter köp

Företag, bibliotek eller offentlig verksamhet?

Stephan Merz – författare

Modeling and Verification of Real-time Systems

Modeling and Verification of Real-time Systems

Modeling and Verification of Real-time Systems

Formal Methods and Software Engineering

Formal Methods and Software Engineering

Interactive Theorem Proving

Interactive Theorem Proving

Formal Systems Specification

Temporal Logic and State Systems

Temporal Logic and State Systems

Temporal Logic and State Systems

Integrated Formal Methods

Integrated Formal Methods

Mina sidor

Mina sidor

Hjälp

Hjälp

Om Bokus

Om Bokus

Populärt

Populärt

Inspiration

Inspiration