25 Years of Model Checking : History, Achievements, Perspectives
Model checking technology is among the foremost applications of logic to computer science and computer engineering. The model ...
اقرأ المزيد
A High-Performance Logical Framework -- All About Maude
This book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used ...
اقرأ المزيد
A High-Performance Logical Framework -- All About Maude
This book gives a comprehensive account of Maude, a language and system based on rewriting logic. Many examples are used ...
اقرأ المزيد
A Roadmap for Formal Property Verification
This book develops the answers to these questions and fits them into a roadmap for formal property verification – a roadmap ...
اقرأ المزيد
Abstract State Machines, B and Z : First International Conference, ABZ 2008, London, UK, September 16-18, 2008. Proceedings
This book constitutes the refereed proceedings of the First International Conference of Abstract State Machines, B and Z, ...
اقرأ المزيد
Advances in Grid and Pervasive Computing
This book address all aspects of grid and pervasive computing and focus on topics such as cluster computing, high performance ...
اقرأ المزيد
Advances in Grid and Pervasive Computing
This book address all aspects of grid and pervasive computing and focus on topics such as cluster computing, high performance ...
اقرأ المزيد
Algebraic Methodology and Software Technology
This is the proceedings of the 11th edition of the Algebraic Methodology and Software Technology (AMAST) conference series. ...
اقرأ المزيد
Algebraic Methodology and Software Technology : 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings
This book constitutes the refereed proceedings of the 12th International Conference on Algebraic Methodology and Software ...
اقرأ المزيد
Applications and Theory of Petri Nets 2005
This volume contains the proceedings of the 26th International Conference on Application and Theory of Petri Nets and Other ...
اقرأ المزيد
Applications and Theory of Petri Nets : 29th International Conference, PETRI NETS 2008, Xi’an, China, June 23-27, 2008. Proceedings
This book constitutes the refereed proceedings of the 29th International Conference on Applications and Theory of Petri Nets ...
اقرأ المزيد
Automatic Program Development : A Tribute to Robert Paige
This work, a tribute to renowned researcher Robert Paige, is a collection of revised papers published in his honor in the ...
اقرأ المزيد
B 2007: Formal Specification and Development in B
These proceedingsrecordthe papers presented at the Seventh InternationalC- ference of B Users (B 2007), held in the city ...
اقرأ المزيد
Deontic Logic in Computer Science : 9th International Conference, DEON 2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings
This volume presents the refereed proceedings of the 9th International Conference on Deontic Logic in Computer Science, DEON ...
اقرأ المزيد
Dynamic Epistemic Logic
Dynamic Epistemic Logic is the logic of knowledge change. This is not about one logical system, but about a whole family ...
اقرأ المزيد
FM 2005: Formal Methods
This volume contains the proceedings of Formal Methods 2005, the 13th InternationalSymposiumonFormalMethodsheldinNewcastleuponTyne,UK, ...
اقرأ المزيد
FM 2006: Formal Methods
This book presents the refereed proceedings of the 14th International Symposium on Formal Methods, FM 2006, held in Hamilton, ...
اقرأ المزيد
Formal Aspects in Security and Trust (vol. # 173)
The IFIP series publishes state-of-the-art results in the sciences and technologies of information and communication. The ...
اقرأ المزيد
Formal Methods Applications and Technology
The workshop program included two invited talks, by Anna Slobodova from Intel on “Challenges for Formal Veri?cation in ...
اقرأ المزيد
Formal Methods and Software Engineering (vol. # 3785)
This volume contains papers presented at the 7th International Conference on Formal Engineering Methods (ICFEM 2005), 1-4 ...
اقرأ المزيد
