Leveraging Applications of Formal Methods, Verification and Validation. Verification
Editat de Tiziana Margaria, Bernhard Steffenen Limba Engleză Paperback – 30 oct 2018
The papers presented were carefully reviewed and selected for inclusion in the proceedings. Each volume focusses on an individual topic with topical section headings within the volume:
Part I, Modeling: Towards a unified view of modeling and programming; X-by-construction, STRESS 2018.
Part II, Verification: A broader view on verification: from static to runtime and back; evaluating tools for software verification; statistical model checking; RERS 2018; doctoral symposium.
Part III, Distributed Systems: rigorous engineering of collective adaptive systems; verification and validation of distributed systems; and cyber-physical systems engineering.
Part IV, Industrial Practice: runtime verificationfrom the theory to the industry practice; formal methods in industrial practice - bridging the gap; reliable smart contracts: state-of-the-art, applications, challenges and future directions; and industrial day.
Preț: 332.01 lei
Preț vechi: 415.02 lei
-20% Nou
Puncte Express: 498
Preț estimativ în valută:
58.74€ • 68.54$ • 51.36£
58.74€ • 68.54$ • 51.36£
Carte tipărită la comandă
Livrare economică 17-31 ianuarie 26
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783030034207
ISBN-10: 3030034208
Pagini: 512
Ilustrații: XIII, 496 p. 178 illus., 85 illus. in color.
Dimensiuni: 155 x 235 x 28 mm
Greutate: 0.77 kg
Ediția:1st edition 2018
Editura: Springer
Locul publicării:Cham, Switzerland
ISBN-10: 3030034208
Pagini: 512
Ilustrații: XIII, 496 p. 178 illus., 85 illus. in color.
Dimensiuni: 155 x 235 x 28 mm
Greutate: 0.77 kg
Ediția:1st edition 2018
Editura: Springer
Locul publicării:Cham, Switzerland
Cuprins
A Broader View on Verification: From Static to Runtime and Back (Track Summary).- Monitoring Hyperproperties by Combining Static Analysis and Runtime Verification.- Temporal Reasoning on Incomplete Paths.- Towards a Notion of Coverage for Incomplete Program-Correctness Proofs.- Generating Inductive Shape Predicates for Runtime Checking and Formal Verification.- Runtime Assertion Checking and Static Verification: Collaborative Partners.- A Language-Independent Program Verification Framework.- Programming Safe Robotics Systems: Challenges and Advances.- Generating Component Interfaces by Integrating Static and Symbolic Analysis, Learning, and Runtime Monitoring.- Evaluating Tools for Software Verification (Track Introduction).- Strategy Selection for Software Verification Based on Boolean Features: A Simple but Effective Approach.- Symbolic Execution and Deductive Verification Approaches to VerifyThis 2017 Challenges.- Runtime and Memory Evaluation of Data Race DetectionTools.- In-Place vs. Copy-on-Write CEGAR Refinement for Block Summarization with Caching.- Deductive Verification of Unmodified Linux Kernel Library Functions.- Synthesizing Subtle Bugs with Known Witnesses.- Statistical Model Checking, The 2018 edition!.- Chasing Errors using Biasing Automata.- On the Sequential Massart Algorithm for Statistical Model Checking.- Quantitative risk assessment of safety-critical systems via guided simulation for rare events.- Monte Carlo Tree Search for Verifying Reachability in Markov Decision Processes.- Lightweight Statistical Model Checking in Nondeterministic Continuous Time.- Statistical Model-Checking of Incomplete Stochastic Systems.- Statistical Model Checking a Moving Block Railway Signalling Scenario with Uppaal SMC.- Mitigating Security Risks through Attack Strategies Exploration.- Statistical Model Checking of Processor Systems in Various Interrupt Scenarios.- RERS 2018: CTL, LTL, and Reachability.- Track Introduction - Doctoral Symposium 2018.- Assuring Intelligent Ambient Assisted Living Solutions by Statistical Model Checking.- Implementation of Privacy Calculus and its Type Checking in Maude.