Software Engineering and Formal Methods

Software Engineering and Formal Methods

4.11 - 1251 ratings - Source

This book constitutes the refereed proceedings of the11th International Conference on Software Engineering and Formal Methods, SEFM 2013, held in Madrid, Spain, in September 2013. The 21 full papers included in this volume were carefully reviewed and selected from 58 submissions. They are organized in topical section on real-time systems, verification, types and inference, static analysis, testing and runtime verification, and synthesis and transformation.Lifting Verification Results for Preemption Statements Manuel Gesell, Andreas Morgenstern, and Klaus Schneider ... The normal operation of synchronous modules may be temporarily suspended or finally aborted due to requests of their environment. ... For example, the abortion statement abort S when(Iƒ) behaves as its body statement S as long as the condition Iƒ is false ... 91a€“105, 2013. c Springer-Verlag Berlin Heidelberg 2013 influence on the control and data flow of the controlledanbsp;...

Title:Software Engineering and Formal Methods
Author: Robert Hierons, Mercedes G. Merayo, Mario Bravetti
Publisher:Springer - 2013-09-18

You must register with us as either a Registered User before you can Download this Book. You'll be greeted by a simple sign-up page.

Once you have finished the sign-up process, you will be redirected to your download Book page.

How it works:
  • 1. Register a free 1 month Trial Account.
  • 2. Download as many books as you like (Personal use)
  • 3. Cancel the membership at any time if not satisfied.

Click button below to register and download Ebook
Privacy Policy | Contact | DMCA