Vor Ort
Merkzettel Warenkorb
Produktbild: Software Engineering and Formal Methods
Band 9763

Software Engineering and Formal Methods 14th International Conference, SEFM 2016, Held as Part of STAF 2016, Vienna, Austria, July 4-8, 2016, Proceedings

Aus der Reihe Theoretical Computer Science and General Issues

49,99 €

inkl. gesetzl. MwSt., Versandkostenfrei

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

23.06.2016

Abbildungen

XV, 419 p. 86 illus.

Herausgeber

Rocco De Nicola + weitere

Verlag

Springer

Seitenzahl

419

Maße (L/B/H)

23,5/15,5/2,4 cm

Gewicht

657 g

Auflage

1st ed. 2016

Sprache

Englisch

ISBN

978-3-319-41590-1

Beschreibung

Produktdetails

Einband

Taschenbuch

Erscheinungsdatum

23.06.2016

Abbildungen

XV, 419 p. 86 illus.

Herausgeber

Verlag

Springer

Seitenzahl

419

Maße (L/B/H)

23,5/15,5/2,4 cm

Gewicht

657 g

Auflage

1st ed. 2016

Sprache

Englisch

ISBN

978-3-319-41590-1

Herstelleradresse

Springer-Verlag KG
Sachsenplatz 4-6
1201 Wien
AT

Email: ProductSafety@springernature.com

Noch keine Bewertungen vorhanden

Verfassen Sie die erste Bewertung zu diesem Artikel

Helfen Sie anderen Kundinnen und Kunden durch Ihre Meinung.

Kundinnen und Kunden meinen

Bewertungen (0)
  • Produktbild: Software Engineering and Formal Methods

  • Invited Papers.- Abstractions, Semantic Models and Analysis Tools for Concurrent Systems: Progress and Open Problems.- Satisfiability Checking: Theory and Applications.- Concurrency and Non-Interference.- Automatic Derivation of Platform Noninterference Properties.- Linearizability and Causality.- Refinement-based verification of Communicating Unstructured Code.- Guided Dynamic Symbolic Execution Using Subgraph Control-Flow Information (short paper).-Program Analysis.- Correlating Structured Inputs and Outputs in Functional Specifications.- Combining Predicate Abstraction with Fixpoint Approximations.- Finding Boundary Elements in Ordered Sets with Application to Safety and Requirements Analysis.- Combining Abstract Interpretation with Symbolic Execution for a Static Value Range Analysis of Block Diagrams.- Model Checking.- Program Generation using Simulated Annealing and Model Checking.- LTL Parameter Synthesis of Parametric Timed Automata.- Model checking simulation rules for linearizability.- LTL Model Checking under Fairness in ProB (short paper).- Verification.- Counterexamples from Proof Failures in SPARK.- Proving Termination of Programs with Bitvector Arithmetic by Symbolic Execution.- SMT-based automatic proof of ASM model refinement.- Coq Implementation of OO Verification Framework VeriJ (short paper).- Towards a Proof Framework for Information Systems with Weak Consistency (short paper).- Interaction and Adaptation.- A Cognitive Framework based on Rewriting Logic for the Analysis of Interactive Systems.- Incentive Stackelberg Mean-payoff Games.- Stability-based Adaptation of Asynchronously Communicating Software.- Compliance Checking in the Open Payments Ecosystem (short paper).- Development Methods.- CoCoSpec: A mode aware contract language.- Modularizing Crosscutting Concerns in Component-Based Systems.- Tightening a Contract Refinement.- BMotionWeb: A Tool for Rapid Creation of Formal Prototypes.