SØG - mellem flere end 8 millioner bøger:
Viser: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques - 7th International Symposium, Isola 2016, Imperial, Corfu, Greece, October 10 14, 2016, Proceedings, Part I
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques Vital Source e-bog
Tiziana Margaria
(2016)
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques
7th International Symposium, Isola 2016, Imperial, Corfu, Greece, October 10 14, 2016, Proceedings, Part I
Tiziana Margaria og Bernhard Steffen
(2016)
Sprog: Engelsk
om ca. 10 hverdage
Detaljer om varen
- Vital Source searchable e-book (Reflowable pages)
- Udgiver: Springer Nature (Oktober 2016)
- ISBN: 9783319471662
Bookshelf online: 5 år fra købsdato.
Bookshelf appen: ubegrænset dage fra købsdato.
Udgiveren oplyser at følgende begrænsninger er gældende for dette produkt:
Print: 2 sider kan printes ad gangen
Copy: højest 2 sider i alt kan kopieres (copy/paste)
Detaljer om varen
- Paperback
- Udgiver: Springer International Publishing AG (Oktober 2016)
- Forfattere: Tiziana Margaria og Bernhard Steffen
- ISBN: 9783319471655
The two-volume set LNCS 9952 and LNCS 9953 constitutes the refereed proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016, held in Imperial, Corfu, Greece, in October 2016.
The papers presented in this volume were carefully reviewed and selected for inclusion in the proceedings. Featuring a track introduction to each section, the papers are organized in topical sections named: statistical model checking; evaluation and reproducibility of program analysis and verification; ModSyn-PP: modular synthesis of programs and processes; semantic heterogeneity in the formal development of complex systems; static and runtime verification: competitors or friends?; rigorous engineering of collective adaptive systems; correctness-by-construction and post-hoc verification: friends or foes?; privacy and security issues in information systems; towards a unified view of modeling and programming; formal methods and safety certification: challenges in the railways domain; RVE: runtime verification and enforcement, the (industrial) application perspective; variability modeling for scalable software evolution; detecting and understanding software doping; learning systems: machine-learning in software products and learning-based analysis of software systems; testing the internet of things; doctoral symposium; industrial track; RERS challenge; and STRESS.
.- Static versus Dynamic Verification in Why3, Frama-C and SPARK
2014.- Considering Type-State Verification for Quantified Event Automata.- Combining Static and Runtime Methods to Achieve Safe Standing-Up for Humanoid Robots.- On Combinations of Static and Dynamic Analysis.- Safer Refactorings.- Rigorous Engineering of Collective Adaptive Systems.- Programming of CAS systems by relying on attribute-based communication.- Towards Static Analysis of Policy-Based Self-Adaptive Computing Systems.- A Calculus for Open Ensembles and Their Composition.- Logic Fragments: coordinating entities with logic programs.- Mixed-Critical Systems Design with Coarse-grained Multi-core Interference.- A Library and Scripting Language for Tool Independent Simulation Descriptions.- Adaptation to the unforeseen: Do we master our autonomous systems?''-- Questions to the Panel.- Smart coordination of autonomic component ensembles in the context of ad-hoc communication.- A Tool-chain for Statistical Spatio-Temporal Model Checking of Bike-sharing Systems.- Rigorous graphical modelling of movement in Collective Adaptive Systems.- Integration and Promotion of Autonomy with the ARE Framework.- Safe Artificial Intelligence and Formal Methods.- Engineering Adaptivity, Universal Autonomous Systems, Ethics and Compliance Issues.- Correctness-by-Construction and Post-hoc Verification: Friends or Foes?.- Correctness-by-Construction and Post-hoc Verification: A Marriage of Convenience?.- Deductive Verification of Legacy Code.- Correctness-by-Construction $\land$ Taxonomies $\Rightarrow$\\ Deep Comprehension of Algorithm Families.- Conditions for Compatibility of Components - The case of masters and slaves.- A Logic for Statistical Model Checking of Dynamic Software Architectures.- On two Friends for getting Correct Programs - Automatically Translating Event-B Specifications to Recursive Algorithmsin Rodin.- Proof-Carrying Apps: Contract-Based Deployment-Time Verification.- Supervisory Controller Synthesis for Product Lines with CIF3.- Partial Verification and Intermediate Results as a Solution to Combine Automatic and Interactive Verification Techniques.- Security and Privacy of Protocols and Software with Formal Methods.- A Model-Based Approach to Secure Multiparty Distributed Systems.- Information leakage analysis of complex C code and its application to OpenSSL.- Integrated Modeling Workflow for Security Assurance.- A Privacy-Aware Conceptual Model for Handling Personal Data.- Guaranteeing Privacy-observing Data Exchange.