Search Results: 'Software Verification'

Search

×
×
×
×
13 results for "Software Verification"
test and acceptance of software systems By Frank Nunn
eBook (PDF): $7.82
This book is a Test and Acceptance handbook. It gives a detailed step by step hands-on methodology of how to carry out Test and Acceptance of a software based project from A to Z. It starts with the... More > production of a Test and Acceptance Plan and Requirements Analysis and continues through each stage of the project until Transfer of the system is accomplished.< Less
test and acceptance of software systems By Frank Nunn
Paperback: $22.04
Prints in 3-5 business days
This book is a Test and Acceptance handbook. It gives a detailed step by step hands-on methodology of how to carry out Test and Acceptance of a software based project from A to Z. It starts with the... More > production of a Test and Acceptance Plan and Requirements Analysis and continues through each stage of the project until Transfer of the system is accomplished.< Less
Proceedings of the 11th International Workshop on the ACL2 Theorem Prover and its Applications By Ruben Gamboa & Jared Davis
Paperback: $11.30
Prints in 3-5 business days
ACL2 2013 is the major technical forum for users of the ACL2 theorem proving system to present research related to the ACL2 theorem prover and its applications. ACL2 2013 is the eleventh in the... More > series of ACL2 workshops, which occur approximately every 18 months. ACL2 is an industrial-strength automated reasoning system, the latest in the Boyer-Moore family of theorem provers. The 2005 ACM Software System Award was awarded to Boyer, Kaufmann, and Moore for their work in ACL2 and the other theorem provers in the Boyer-Moore family.< Less
Model Checking Boolean Programs (b/w print) By Gérard Basler
Paperback: $11.80
Prints in 3-5 business days
A successful approach to push the boundaries of Modelchecking is predicate abstraction. With this method, an abstraction of a program in a high-level programming language is constructed using... More > predicates and represented as a Boolean program. It is analyzed by a dedicated checker to determine if an error state is reachable. Boolean program verification remains, despite the reduced state space, the bottleneck within the automated abstraction-refinement loop. This book introduces techniques for efficient reachability analysis of sequential and concurrent Boolean programs. We improve on known summarization algorithms for sequential Boolean programs and propose over-approximations of procedure calls. For non-recursive concurrent Boolean programs, we introduce a transformation to a representation , which exploits the symmetry inherent in replicated programs. This allows exact verification of an unbounded number of threads.< Less
Model Checking Boolean Programs By Gérard Basler
Paperback: $50.80
Prints in 3-5 business days
A successful approach to push the boundaries of Modelchecking is predicate abstraction. With this method, an abstraction of a program in a high-level programming language is constructed using... More > predicates and represented as a Boolean program. It is analyzed by a dedicated checker to determine if an error state is reachable. Boolean program verification remains, despite the reduced state space, the bottleneck within the automated abstraction-refinement loop. This book introduces techniques for efficient reachability analysis of sequential and concurrent Boolean programs. We improve on known summarization algorithms for sequential Boolean programs and propose over-approximations of procedure calls. For non-recursive concurrent Boolean programs, we introduce a transformation to a representation , which exploits the symmetry inherent in replicated programs. This allows exact verification of an unbounded number of threads.< Less
Model Checking Boolean Programs (b/w print) By Gérard Basler
eBook (PDF): $0.00
A successful approach to push the boundaries of Modelchecking is predicate abstraction. With this method, an abstraction of a program in a high-level programming language is constructed using... More > predicates and represented as a Boolean program. It is analyzed by a dedicated checker to determine if an error state is reachable. Boolean program verification remains, despite the reduced state space, the bottleneck within the automated abstraction-refinement loop. This book introduces techniques for efficient reachability analysis of sequential and concurrent Boolean programs. We improve on known summarization algorithms for sequential Boolean programs and propose over-approximations of procedure calls. For non-recursive concurrent Boolean programs, we introduce a transformation to a representation , which exploits the symmetry inherent in replicated programs. This allows exact verification of an unbounded number of threads.< Less
Model Checking Boolean Programs By Gérard Basler
eBook (PDF): $0.00
A successful approach to push the boundaries of Modelchecking is predicate abstraction. With this method, an abstraction of a program in a high-level programming language is constructed using... More > predicates and represented as a Boolean program. It is analyzed by a dedicated checker to determine if an error state is reachable. Boolean program verification remains, despite the reduced state space, the bottleneck within the automated abstraction-refinement loop. This book introduces techniques for efficient reachability analysis of sequential and concurrent Boolean programs. We improve on known summarization algorithms for sequential Boolean programs and propose over-approximations of procedure calls. For non-recursive concurrent Boolean programs, we introduce a transformation to a representation , which exploits the symmetry inherent in replicated programs. This allows exact verification of an unbounded number of threads.< Less
Reactis User's Guide By Reactive Systems
Paperback: $25.00
Prints in 3-5 business days
Model-Based Testing and Validation with Reactis. Reactis automatically generates high-quality test data from Simulink and Stateflow models, checks user-specified requirements on models, and supports... More > the interactive analysis of model behavior.< Less
Computer-Aided Reasoning: An Approach By Matt Kaufmann et al.
Paperback: $22.12
Prints in 3-5 business days
(3 Ratings)
Computer-Aided Reasoning: An Approach is a textbook introduction to computer-aided reasoning. It can be used in graduate and undergraduate courses on software engineering or formal methods. It is... More > also suitable in conjunction with other books in courses on hardware design, discrete mathematics, and theory. It is also appropriate as a reference for business and industry. In this book we present: * A practical functional programming language closely related to Common Lisp; * A formal logic in which defined functions correspond to axioms; * The computer-aided reasoning system ACL2, which includes mechanical support for the proof process. ACL2 is part of the Boyer-Moore family of theorem provers, for which its authors have received the 2005 ACM Software System Award. ACL2 has been successfully applied to projects of commercial interest, including hardware and software verification. Approximately 140 exercises are distributed throughout the book.< Less
Computer-Aided Reasoning: ACL2 Case Studies By Matt Kaufmann et al.
Paperback: $22.39
Prints in 3-5 business days
(1 Ratings)
Computer-Aided Reasoning: ACL2 Case Studies illustrates how the computer-aided reasoning system ACL2 can be used in productive and innovative ways to design, build, and maintain hardware and software... More > systems. Included here are technical papers written by twenty-one contributors that report on self-contained and fully reproducible case studies, some of which are sanitized industrial projects. The papers deal with a wide variety of areas, including floating-point arithmetic, microprocessor simulation, model checking, symbolic trajectory evaluation, compilation, proof checking, real analysis, and several others. The case studies also contain exercises whose solutions are on the Web. In addition, the complete proof scripts necessary to formalize the models and prove all the properties discussed are on the Web.< Less

Top 10

see more >
 
 
 
 
 
3
The Way It Was The Way It Was By Alvin Fuhrman
Hardcover: $31.49
 
 
4
Vein Book Vein Book By Eric Dohner
Paperback: $10.00
 
 
 
 
6
LOOKING FOR A MIRACLE...LOOK WITHIN YOUR LIFE LOOKING FOR A... By May Lewis
Paperback: $6.20