BIBLIO is the largest independent book marketplace in the world, with over 100 million books.

Skip to content

Compositional Verification of Concurrent and Real-Time Systems [The Kluwer International Series in Engineering and Computer Science SECS 676]

Compositional Verification of Concurrent and Real-Time Systems [The Kluwer International Series in Engineering and Computer Science SECS 676]

Compositional Verification of Concurrent and Real-Time Systems [The Kluwer
Stock photo: cover may vary

Compositional Verification of Concurrent and Real-Time Systems [The Kluwer International Series in Engineering and Computer Science SECS 676] Hardback - 2002 - 2002nd Edition

by Juan, Eric Y. T.; Tsai, Jeffrey J.-P

Add to wish list
  • Used
  • very good
  • Hardback
Used - Very good

Description

Kluwer Academic Publishers, Boston, 2002. Hardcover. Very Good. 8vo, hardcover. No dj. Vg+ condition. Single non-circulating ex-lib stamp & label on 2 early pgs (only markings), contents bright, crisp & clean, virtually unopened. xvii, 196 p.
Ask the seller a question Add to wish list
A$126.18
A$8.05 Delivery within USA
Standard delivery: 5 to 10 days
More delivery options
Ships from Tiber Books (Maryland, United States)
The BIBLIO Guarantee

Details

  • Title Compositional Verification of Concurrent and Real-Time Systems [The Kluwer International Series in Engineering and Computer Science SECS 676]
  • Author Juan, Eric Y. T.; Tsai, Jeffrey J.-P
  • Binding Hardback
  • Edition number 2002nd
  • Edition 2002
  • Condition Used - Very good
  • Pages 196
  • Volumes 1
  • Language ENG
  • Publisher Kluwer Academic Publishers, Boston
  • Publication date 2002
  • Illustrated Yes
  • Features Bibliography, Illustrated, Index
  • Bookseller's Inventory # 1050808.27
  • ISBN 9781402070259 / 140207025X
  • Weight 1.09 lbs (0.49 kg)
  • Dimensions 9.68 x 6.1 x 0.7 in (24.59 x 15.49 x 1.78 cm)
  • Category Technology & Industrial Arts
  • Library of Congress subjects Parallel processing (Electronic computers), Real-time data processing
  • Library of Congress Catalogue Number 2002023653
  • Dewey Decimal Code 004.35
  • Bookseller catalogues Computers/Data Technology

About Tiber Books Maryland, United States

Specialising in: Scholarly Non-Fiction
Biblio member since 2005

Specializing in scholarly non-fiction for over 30 years.

Terms of Sale:

All books are subject to prior sale. Returns are accepted within 2 weeks for any reason. We pack our books in bubble-wrap, and ship in a sturdy cardboard box, except in the case of standardized Priority shipping envelopes.

Browse books from Tiber Books

Reader reviews for Compositional Verification of Concurrent and Real-Time Systems [The Kluwer International Series in Engineering and Computer Science SECS 676]

Write a review for this book

There are no reviews for this book yet. Be the first to write a review!

Your review will be anonymous unless you login or create an account first.

Overall rating
Remember: You’re rating the book as a work, not the seller or the condition of the specific copy you purchased!

Important Terms and Guidelines

  • Please focus on the book’s content and context. Also, add any personal comments as to how you enjoyed the book. Substantiate your likes and dislikes. You may make comparisons to other books.
  • Reviews must be at least 140 characters in length.
  • Please do not reveal critical plot elements.
  • This is not a help line. Contact customer support if you need help.
Your review must not include:
  • Obscenities, discriminatory language, or other insulting language not suitable for public domain
  • Advertisements, “spam” content, or references to other products, offers or websites.
  • Email addresses, URLs, phone numbers, physical addresses or other contact information.
  • Overly critical comments about other reviews or reviewers
  • Time-sensitive material (i.e. promotional tours, seminars, lectures, etc.)
  • Availability, price, or alternative ordering/shipping information

From the publisher

With the rapid growth of networking and high-computing power, the demand for large-scale and complex software systems has increased dramatically. Many of the software systems support or supplant human control of safety-critical systems such as flight control systems, space shuttle control systems, aircraft avionics control systems, robotics, patient monitoring systems, nuclear power plant control systems, and so on. Failure of safety-critical systems could result in great disasters and loss of human life. Therefore, software used for safety- critical systems should preserve high assurance properties. In order to comply with high assurance properties, a safety-critical system often shares resources between multiple concurrently active computing agents and must meet rigid real-time constraints. However, concurrency and timing constraints make the development of a safety-critical system much more error prone and arduous. The correctness of software systems nowadays depends mainly on the work of testing and debugging. Testing and debugging involve the process of de- tecting, locating, analyzing, isolating, and correcting suspected faults using the runtime information of a system. However, testing and debugging are not sufficient to prove the correctness of a safety-critical system. In contrast, static analysis is supported by formalisms to specify the system precisely. Formal verification methods are then applied to prove the logical correctness of the system with respect to the specification. Formal verifica- tion gives us greater confidence that safety-critical systems meet the desired assurance properties in order to avoid disastrous consequences.

First line

Concurrency is an important technique widely used in modern systems.

Please wait a moment while we load the requested page.

tracking-