Stock image for illustration purposes only - book cover, edition or condition may vary.
Logics in Computer Science
Fabio Mogavero
€ 62.54
FREE Delivery in Ireland
Description for Logics in Computer Science
Hardcover. Series: Atlantis Studies in Computing. Num Pages: 166 pages, 15 black & white tables, biography. BIC Classification: PBCD; UMB; UYA. Category: (P) Professional & Vocational. Dimension: 241 x 163 x 15. Weight in Grams: 400.
In this monograph we introduce and examine four new temporal logic formalisms that can be used as specification languages for the automated verification of the reliability of hardware and software designs with respect to a desired behavior. The work is organized in two parts. In the first part two logics for computations, the graded computation tree logic and the computation tree logic with minimal model quantifiers are discussed. These have proved to be useful in describing correct executions of monolithic closed systems. The second part focuses on logics for strategies, strategy logic and memoryful alternating-time temporal logic, which have been ... Read more
In this monograph we introduce and examine four new temporal logic formalisms that can be used as specification languages for the automated verification of the reliability of hardware and software designs with respect to a desired behavior. The work is organized in two parts. In the first part two logics for computations, the graded computation tree logic and the computation tree logic with minimal model quantifiers are discussed. These have proved to be useful in describing correct executions of monolithic closed systems. The second part focuses on logics for strategies, strategy logic and memoryful alternating-time temporal logic, which have been ... Read more
Product Details
Format
Hardback
Publication date
2013
Publisher
Atlantis Press United Kingdom
Number of pages
168
Condition
New
Series
Atlantis Studies in Computing
Number of Pages
149
Place of Publication
, Netherlands
ISBN
9789491216947
SKU
V9789491216947
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
Reviews for Logics in Computer Science