Sökt på: Böcker av Grumberg Orna
totalt 11 träffar
Languages: From Formal to Natural
The symposium "Languages: From Formal to Natural," celebrating the 65th birthday of Nissim Francez, was held on May 24-25, 2009 at the Technion, Haifa. The symposium consisted of …
Model Checking
An expanded and updated edition of a comprehensive presentation of the theory and practice of model checking, a technology that automates the analysis of complex systems.Model …
Model Checking
Model checking is a technique for verifying finite state concurrent systems such as sequential circuit designs and communication protocols. It has a number of advantages over …
Model Checking
This presentation of the theory and practice of model checking includes basic as well as state-of-the-art techniques, algorithms and tools, and can be used as an introduction to …
Model Checking, second edition
An expanded and updated edition of a comprehensive presentation of the theory and practice of model checking, a technology that automates the analysis of complex systems.Model …
Tools and Algorithms for the Construction and Analysis of Systems
This book constitutes the refereed proceedings of the 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2007, held in Braga, …
Tools and Algorithms for the Construction and Analysis of Systems
This book constitutes the refereed proceedings of the 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2007, held in Braga, …
Computer Aided Verification
This book constitutes the strictly refereed proceedings of the 9th International Conference on Computer Aided Verification, CAV '97, held in Haifa, Israel, in June 1997.The volume …
25 Years of Model Checking
Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model checking community has achieved many breakthroughs, …
25 Years of Model Checking
Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model checking community has achieved many breakthroughs, …