Hardware and Software: Verification and Testing - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

22

(FIVE YEARS 0)

H-INDEX

4

(FIVE YEARS 0)

Published By Springer International Publishing

9783319703886, 9783319703893

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Probabilistic Model of Control-Flow Altering Based Malicious Attacks

Hardware and Software: Verification and Testing - Lecture Notes in Computer Science ◽

10.1007/978-3-319-70389-3_22 ◽

2017 ◽

pp. 249-252 ◽

Author(s):

Sergey Frenkel

Keyword(s):

Probabilistic Model ◽

Control Flow ◽

Malicious Attacks

Download Full-text

More Adaptive Does not Imply Less Safe (with Formal Verification)

Hardware and Software: Verification and Testing - Lecture Notes in Computer Science ◽

10.1007/978-3-319-70389-3_19 ◽

2017 ◽

pp. 237-240

Author(s):

Luca Pulina ◽

Armando Tacchella

Keyword(s):

Formal Verification

Download Full-text

RATCOP: Relational Analysis Tool for Concurrent Programs

Hardware and Software: Verification and Testing - Lecture Notes in Computer Science ◽

10.1007/978-3-319-70389-3_18 ◽

2017 ◽

pp. 229-233

Author(s):

Suvam Mukherjee ◽

Oded Padon ◽

Sharon Shoham ◽

Deepak D’Souza ◽

Noam Rinetzky

Keyword(s):

Concurrent Programs ◽

Analysis Tool ◽

Relational Analysis

Download Full-text

MicroTESK: Specification-Based Tool for Constructing Test Program Generators

Hardware and Software: Verification and Testing - Lecture Notes in Computer Science ◽

10.1007/978-3-319-70389-3_15 ◽

2017 ◽

pp. 217-220

Author(s):

Mikhail Chupilko ◽

Alexander Kamkin ◽

Artem Kotsynyak ◽

Andrei Tatarnikov

Keyword(s):

Download Full-text

PRuning Through Satisfaction

Hardware and Software: Verification and Testing - Lecture Notes in Computer Science ◽

10.1007/978-3-319-70389-3_12 ◽

2017 ◽

pp. 179-194 ◽

Author(s):

Marijn J. H. Heule ◽

Benjamin Kiesl ◽

Martina Seidl ◽

Armin Biere

Download Full-text

Trace-Based Run-Time Analysis of Message-Passing Go Programs

Hardware and Software: Verification and Testing - Lecture Notes in Computer Science ◽

10.1007/978-3-319-70389-3_6 ◽

2017 ◽

pp. 83-98 ◽

Author(s):

Martin Sulzmann ◽

Kai Stadtmüller

Keyword(s):

Message Passing ◽

Time Analysis ◽

Run Time Analysis ◽

Download Full-text

Deferrability Analysis for JavaScript

Hardware and Software: Verification and Testing - Lecture Notes in Computer Science ◽

10.1007/978-3-319-70389-3_3 ◽

2017 ◽

pp. 35-50

Author(s):

Johannes Kloos ◽

Rupak Majumdar ◽

Frank McCabe

Download Full-text

Modeling Undefined Behaviour Semantics for Checking Equivalence Across Compiler Optimizations

Hardware and Software: Verification and Testing - Lecture Notes in Computer Science ◽

10.1007/978-3-319-70389-3_2 ◽

2017 ◽

pp. 19-34 ◽

Author(s):

Manjeet Dahiya ◽

Sorav Bansal

Keyword(s):

Compiler Optimizations

Download Full-text

A Framework for Asynchronous Circuit Modeling and Verification in ACL2

Hardware and Software: Verification and Testing - Lecture Notes in Computer Science ◽

10.1007/978-3-319-70389-3_1 ◽

2017 ◽

pp. 3-18 ◽

Author(s):

Cuong Chau ◽

Warren A. Hunt ◽

Marly Roncken ◽

Ivan Sutherland

Keyword(s):

Circuit Modeling ◽

Asynchronous Circuit

Download Full-text

An Interaction Concept for Program Verification Systems with Explicit Proof Object

Hardware and Software: Verification and Testing - Lecture Notes in Computer Science ◽

10.1007/978-3-319-70389-3_11 ◽

2017 ◽

pp. 163-178 ◽

Author(s):

Bernhard Beckert ◽

Sarah Grebing ◽

Mattias Ulbrich

Keyword(s):

Program Verification ◽

Verification Systems ◽

Download Full-text