Picture 1 of 1
Gallery
Picture 1 of 1
Have one to sell?
SYSTEMS & SOFTWARE VERIFICATION Model-Checking Techniques & Tools - NEW - 2001
C $69.97
ApproximatelyRM 209.24
or Best Offer
Condition:
Oops! Looks like we're having trouble connecting to our server.
Refresh your browser window to try again.
Shipping:
C $39.95 (approx RM 119.47) Canada Post Expedited Parcel - USA.
Located in: Etobicoke, Canada
Delivery:
Estimated between Fri, 14 Nov and Mon, 1 Dec to 94104
Returns:
No returns accepted.
Coverage:
Read item description or contact seller for details. See all detailsSee all details on coverage
(Not eligible for eBay purchase protection programmes)
Shop with confidence
Seller assumes all responsibility for this listing.
eBay item number:252398427798
Item specifics
- Condition
- Brand New: A new, unread, unused book in perfect condition with no missing or damaged pages. See all condition definitionsopens in a new window or tab
- Country/Region of Manufacture
- United States
- Modified Item
- No
- Product Type
- Textbook
- ISBN
- 9783540415237
About this product
Product Identifiers
Publisher
Springer Berlin / Heidelberg
ISBN-10
3540415238
ISBN-13
9783540415237
eBay Product ID (ePID)
1944787
Product Key Features
Number of Pages
Xii, 190 Pages
Publication Name
Systems and Software Verification : Model-Checking Techniques and Tools
Language
English
Publication Year
2001
Subject
Software Development & Engineering / Quality Assurance & Testing, Software Development & Engineering / General, Intelligence (Ai) & Semantics, Computer Science
Type
Textbook
Subject Area
Computers
Format
Hardcover
Dimensions
Item Weight
37 Oz
Item Length
9.3 in
Item Width
6.1 in
Additional Product Features
Intended Audience
Scholarly & Professional
LCCN
2001-032056
Dewey Edition
22
Number of Volumes
1 vol.
Illustrated
Yes
Dewey Decimal
005.14
Table Of Content
1. Automata.- 2. Temporal Logic.- 3. Model Checking.- 4. Symbolic Model Checking.- 5. Timed Automata.- 6. Reachability Properties.- 7. Safety Properties.- 8. Liveness Properties.- 9. Deadlock-freeness.- 10. Fairness Properties.- 11. Abstraction Methods.- 12. SMV -- Symbolic Model Checking.- 13. SPIN -- Communicating Automata.- 14. DESIGN/CPN -- Coloured Petri Nets.- 15. UPPAAL -- Timed Systems.- 16. KRONOS -- Model Checking of Real-time Systems.- 17. HYTECH -- Linear Hybrid Systems.- Main Bibliography.
Synopsis
Model checking is a powerful approach for the formal verification of software. When applicable, it automatically provides complete proofs of correctness, or explains, via counter-examples, why a system is not correct. This book provides a basic introduction to this new technique. The first part describes in simple terms the theoretical basis of model checking: transition systems as a formal model of systems, temporal logic as a formal language for behavioral properties, and model-checking algorithms. The second part explains how to write rich and structured temporal logic specifications in practice, while the third part surveys some of the major model checkers available., Model checking is a powerful approach for the formal verification of software. It automatically provides complete proofs of correctness, or explains, via counter-examples, why a system is not correct. Here, the author provides a well written and basic introduction to the new technique. The first part describes in simple terms the theoretical basis of model checking: transition systems as a formal model of systems, temporal logic as a formal language for behavioral properties, and model-checking algorithms. The second part explains how to write rich and structured temporal logic specifications in practice, while the third part surveys some of the major model checkers available.
LC Classification Number
QA76.758
Item description from the seller
Seller feedback (2,863)
- e***s (31)- Feedback left by buyer.Past monthVerified purchaseCanada Post lost the package, but the seller provided continuous service with excellent communication throughout until I was refunded. Great service provided!
- a***a (24)- Feedback left by buyer.Past 6 monthsVerified purchaseFast shipping, well packed, as described and good price. Love the shoes! Thanks!
- 6***u (8073)- Feedback left by buyer.Past 6 monthsVerified purchaseAwesome seller,fastest shipping ever! Honest, informative responses to questions.Women’s NECKLACE Ball&Chain INDIA HICKS London SILVER Plated 32.5 Gift Idea NEW (#256928376864)
More to explore :
- Nonfiction Books Fiction & Management Techniques,
- Photography Techniques Hardcover Nonfiction Books,
- Management Techniques Hardcover Nonfiction Books,
- Nonfiction Books Fiction & Photography Techniques,
- Nonfiction Books in English Fiction & Management Techniques,
- Tools Catalogs,
- News Magazines,
- Models Magazines,
- New Yorker Magazines,
- New Magazines
Seller feedback (2,863)
- e***s (31)- Feedback left by buyer.Past monthVerified purchaseCanada Post lost the package, but the seller provided continuous service with excellent communication throughout until I was refunded. Great service provided!
- a***a (24)- Feedback left by buyer.Past 6 monthsVerified purchaseFast shipping, well packed, as described and good price. Love the shoes! Thanks!
- 6***u (8073)- Feedback left by buyer.Past 6 monthsVerified purchaseAwesome seller,fastest shipping ever! Honest, informative responses to questions.Women’s NECKLACE Ball&Chain INDIA HICKS London SILVER Plated 32.5 Gift Idea NEW (#256928376864)