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

Automated Technology for Verification and Analysis

Overview of attention for book
Cover of 'Automated Technology for Verification and Analysis'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Games for Formal Design and Verification of Reactive Systems
  3. Altmetric Badge
    Chapter 2 Evolution of Model Checking into the EDA Industry
  4. Altmetric Badge
    Chapter 3 Abstraction Refinement
  5. Altmetric Badge
    Chapter 4 Tools for Automated Verification of Web Services
  6. Altmetric Badge
    Chapter 5 Theorem Proving Languages for Verification
  7. Altmetric Badge
    Chapter 6 An Automated Rigorous Review Method for Verifying and Validating Formal Specifications
  8. Altmetric Badge
    Chapter 7 Toward Unbounded Model Checking for Region Automata
  9. Altmetric Badge
    Chapter 8 Search Space Partition and Case Basis Exploration for Reducing Model Checking Complexity
  10. Altmetric Badge
    Chapter 9 Synthesising Attacks on Cryptographic Protocols
  11. Altmetric Badge
    Chapter 10 Büchi Complementation Made Tighter
  12. Altmetric Badge
    Chapter 11 SAT-Based Verification of Safe Petri Nets
  13. Altmetric Badge
    Chapter 12 Disjunctive Invariants for Numerical Systems
  14. Altmetric Badge
    Chapter 13 Validity Checking for Quantifier-Free First-Order Logic with Equality Using Substitution of Boolean Formulas
  15. Altmetric Badge
    Chapter 14 Fair Testing Revisited: A Process-Algebraic Characterisation of Conflicts
  16. Altmetric Badge
    Chapter 15 Exploiting Symmetries for Testing Equivalence in the Spi Calculus
  17. Altmetric Badge
    Chapter 16 Using Block-Local Atomicity to Detect Stale-Value Concurrency Errors
  18. Altmetric Badge
    Chapter 17 Abstraction-Based Model Checking Using Heuristical Refinement
  19. Altmetric Badge
    Chapter 18 A Global Timed Bisimulation Preserving Abstraction for Parametric Time-Interval Automata
  20. Altmetric Badge
    Chapter 19 Design and Evaluation of a Symbolic and Abstraction-Based Model Checker
  21. Altmetric Badge
    Chapter 20 Component-Wise Instruction-Cache Behavior Prediction
  22. Altmetric Badge
    Chapter 21 Validating the Translation of an Industrial Optimizing Compiler
  23. Altmetric Badge
    Chapter 22 Composition of Accelerations to Verify Infinite Heterogeneous Systems
  24. Altmetric Badge
    Chapter 23 Hybrid System Verification Is Not a Sinecure
  25. Altmetric Badge
    Chapter 24 Providing Automated Verification in HOL Using MDGs
  26. Altmetric Badge
    Chapter 25 Specification, Abduction, and Proof
  27. Altmetric Badge
    Chapter 26 Introducing Structural Dynamic Changes in Petri Nets: Marked-Controlled Reconfigurable Nets
  28. Altmetric Badge
    Chapter 27 Typeness for ω-Regular Automata
  29. Altmetric Badge
    Chapter 28 Partial Order Reduction for Detecting Safety and Timing Failures of Timed Circuits
  30. Altmetric Badge
    Chapter 29 Mutation Coverage Estimation for Model Checking
  31. Altmetric Badge
    Chapter 30 Modular Model Checking of Software Specifications with Simultaneous Environment Generation
  32. Altmetric Badge
    Chapter 31 Rabin Tree and Its Application to Group Key Distribution
  33. Altmetric Badge
    Chapter 32 Using Overlay Networks to Improve VoIP Reliability
  34. Altmetric Badge
    Chapter 33 Integrity-Enhanced Verification Scheme for Software-Intensive Organizations
  35. Altmetric Badge
    Chapter 34 RCGES: Retargetable Code Generation for Embedded Systems
  36. Altmetric Badge
    Chapter 35 Verification of Analog and Mixed-Signal Circuits Using Timed Hybrid Petri Nets
  37. Altmetric Badge
    Chapter 36 First-Order LTL Model Checking Using MDGs
  38. Altmetric Badge
    Chapter 37 Localizing Errors in Counterexample with Iteratively Witness Searching
  39. Altmetric Badge
    Chapter 38 Verification of WCDMA Protocols and Implementation
  40. Altmetric Badge
    Chapter 39 Efficient Representation of Algebraic Expressions
  41. Altmetric Badge
    Chapter 40 Development of RTOS for PLC Using Formal Methods
  42. Altmetric Badge
    Chapter 41 Reducing Parametric Automata: A Multimedia Protocol Service Case Study
  43. Altmetric Badge
    Chapter 42 Synthesis of State Feedback Controllers for Parameterized Discrete Event Systems
  44. Altmetric Badge
    Chapter 43 Solving Box-Pushing Games via Model Checking with Optimizations
  45. Altmetric Badge
    Chapter 44 CLP Based Static Property Checking
  46. Altmetric Badge
    Chapter 45 A Temporal Assertion Extension to Verilog
Attention for Chapter 33: Integrity-Enhanced Verification Scheme for Software-Intensive Organizations
Altmetric Badge

Citations

dimensions_citation
1 Dimensions

Readers on

mendeley
8 Mendeley
Summary Dimensions citations
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.
Chapter title
Integrity-Enhanced Verification Scheme for Software-Intensive Organizations
Chapter number 33
Book title
Automated Technology for Verification and Analysis
Published by
Springer, Berlin, Heidelberg, October 2004
DOI 10.1007/978-3-540-30476-0_33
Book ISBNs
978-3-54-023610-8, 978-3-54-030476-0
Authors

Wen-Kui Chang, Chun-Yuan Chen

View on publisher site
Mendeley readers

Mendeley readers

The data shown below were compiled from readership statistics for 8 Mendeley readers of this research output. Click here to see the associated Mendeley record.

Geographical breakdown

Country Count As %
United States 1 13%
Unknown 7 88%

Demographic breakdown

Readers by professional status Count As %
Student > Ph. D. Student 2 25%
Unspecified 1 13%
Student > Bachelor 1 13%
Lecturer 1 13%
Researcher 1 13%
Other 1 13%
Unknown 1 13%
Readers by discipline Count As %
Computer Science 2 25%
Medicine and Dentistry 2 25%
Business, Management and Accounting 1 13%
Social Sciences 1 13%
Unspecified 1 13%
Other 0 0%
Unknown 1 13%

This page is provided by Altmetric.