We can't find the internet
Attempting to reconnect
Something went wrong!
Hang in there while we get back on track
£107.31
Springer - Automated Validation of UML/OCL Models Book
Price data last checked 62 day(s) ago - refreshing...
Price History & Forecast
Last 29 days • 29 data points (No recent data available)
Price Distribution
Price distribution over 29 days • 1 price levels
Price Analysis
Most common price: £107 (29 days, 100.0%)
Price range: £107 - £107
Price levels: 1 different prices over 29 days
Description
Key Features
Covers comprehensive UML/OCL methods and design flows for systematic hardware and software validation.
Explains how to use satisfiability solvers for the automatic verification of complex systems.
Provides guidance on adapting methods for use with various other automatic reasoning engines.
Applies design flow techniques to a broad range of different validation and verification tasks.
Includes information on handling non-functional properties like timing constraints within the workflow.
Product Specifications
- Brand
- Springer
- Format
- Hardcover
- ASIN
- 331972813X
- Domain
- Amazon UK
- Release Date
- 31 January 2018
- Listed Since
- 16 November 2017
Barcode
No barcode data available
Similar Products You Might Like
Systems and Software Verification: Model-Checking Techniques and Tools
Springer
Verification and Validation in Systems Engineering: Assessing UML/SysML Design Models
Springer
Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theoretical Computer Science. An EATCS Series)
Springer
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach
Springer
Verification and Validation for Quality of UML 2.0 Models (Wiley Series in Systems Engineering and Management)
Wiley
Computation Engineering: Applied Automata Theory and Logic
Springer
Petri Nets for Systems Engineering: A Guide to Modeling, Verification, and Applications
Springer
ASIC/SoC Functional Design Verification: A Comprehensive Guide to Technologies and Methodologies
Springer
ASIC/SoC Functional Design Verification: A Comprehensive Guide to Technologies and Methodologies
Springer
Formal System Verification: State-of the-Art and Future Trends
Springer
Concise Guide to Software Verification: From Model Checking to Annotation Checking (Texts in Computer Science)
Springer
Automatic Verification of Sequential Infinite-State Processes: 1354 (Lecture Notes in Computer Science, 1354)
Springer
Advanced Formal Verification
Springer
Generating Hardware Assertion Checkers: For Hardware Verification, Emulation, Post-Fabrication Debugging and On-Line Monitoring
Springer
System Verification: Proving the Design Solution Satisfies the Requirements
Academic Press
Handbook of Model Checking
Springer
Handbook of Model Checking
Springer
SystemVerilog Assertions and Functional Coverage: Guide to Language, Methodology and Applications
Springer
Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach
Springer
Springer - Formal Methods and Models for System Design Book
Springer
Scalable Hardware Verification with Symbolic Simulation
Springer
UML-Based Software Product Line Engineering with SMarty
Springer
Verification of Reactive Systems: Formal Methods and Algorithms (Texts in Theoretical Computer Science. An EATCS Series)
Springer
Software Engineering with UML
CRC Press