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 successfully applied to formalize several properties of
interactive plays in multi-entities systems modeled as multi-agent
games.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
Welcome to Loot.co.za!
Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search
