↓ Skip to main content
What is this page? Embed badge

Hardware and Software: Verification and Testing

Overview of attention for book
Cover of 'Hardware and Software: Verification and Testing'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 A Framework for Asynchronous Circuit Modeling and Verification in ACL2
  3. Altmetric Badge
    Chapter 2 Modeling Undefined Behaviour Semantics for Checking Equivalence Across Compiler Optimizations
  4. Altmetric Badge
    Chapter 3 Deferrability Analysis for JavaScript
  5. Altmetric Badge
    Chapter 4 A Verifier of Directed Acyclic Graphs for Model Checking with Memory Consistency Models
  6. Altmetric Badge
    Chapter 5 Trace-based Analysis of Memory Corruption Malware Attacks
  7. Altmetric Badge
    Chapter 6 Trace-Based Run-Time Analysis of Message-Passing Go Programs
  8. Altmetric Badge
    Chapter 7 Software Verification: Testing vs. Model Checking
  9. Altmetric Badge
    Chapter 8 A Supervisory Control Algorithm Based on Property-Directed Reachability
  10. Altmetric Badge
    Chapter 9 SMT-based Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems
  11. Altmetric Badge
    Chapter 10 A Symbolic Approach to Safety ltl Synthesis
  12. Altmetric Badge
    Chapter 11 An Interaction Concept for Program Verification Systems with Explicit Proof Object
  13. Altmetric Badge
    Chapter 12 PRuning Through Satisfaction
  14. Altmetric Badge
    Chapter 13 LRA Interpolants from No Man’s Land
  15. Altmetric Badge
    Chapter 14 ACAT: A Novel Machine-Learning-Based Tool for Automating Android Application Testing
  16. Altmetric Badge
    Chapter 15 MicroTESK: Specification-Based Tool for Constructing Test Program Generators
  17. Altmetric Badge
    Chapter 16 Embedded Functions for Test Design Automation
  18. Altmetric Badge
    Chapter 17 KERIS: A CT Tool of the Linux Kernel with Dynamic Memory Analysis Capabilities
  19. Altmetric Badge
    Chapter 18 RATCOP: Relational Analysis Tool for Concurrent Programs
  20. Altmetric Badge
    Chapter 19 More Adaptive Does not Imply Less Safe (with Formal Verification)
  21. Altmetric Badge
    Chapter 20 APSL: A Light Weight Testing Tool for Protocols with Complex Messages
  22. Altmetric Badge
    Chapter 21 Towards Verification of Robot Design for Self-localization
  23. Altmetric Badge
    Chapter 22 Probabilistic Model of Control-Flow Altering Based Malicious Attacks
Overall attention for this book and its chapters
Altmetric Badge

Mentioned by

twitter
2 X users
Summary X
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Title
Hardware and Software: Verification and Testing
Published by
Springer International Publishing, November 2017
DOI 10.1007/978-3-319-70389-3
ISBNs
978-3-31-970388-6, 978-3-31-970389-3
Editors

Strichman, Ofer, Tzoref-Brill, Rachel

View on publisher site
X Demographics

X Demographics

The data shown below were collected from the profiles of 2 X users who shared this research output. Click here to find out more about how the information was compiled.

This page is provided by Altmetric.