Informatik (15.755 Artikel)

This volume contains the proceedings of the Fourth Biennial Conference on F- mal Methods in Computer-Aided Design (FMCAD). The conference is devoted to the use of mathematical methods for the analy...

Logic and object-orientation have come to be recognized as being among the most powerful paradigms for modeling information systems. The term "information systems" is used here in a very general co...

Formal methods have already been shown to improve the development process and quality assurance in system design and implementation. This volume examines whether these benefits also apply to the fi...

This Festschrift, dedicated to Klaus Havelund on the occasion of his 65th birthday, celebrated in 2021 due to the COVID-19 pandemic, contains papers written by many of his closest friends and colla...

This volume comprises the papers selected for presentation at the international conference on Formal Methods in Programming and Their Applications, held in Academgorodok, Novosibirsk, Russia, June-...

Essays Dedicated to Hartmut Ehrig on the Occasion of His 60th Birthday

3. 1 What are formal methods? . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17 3. 2 A survey of formal methods . . . . . . . . . ...

Thisvolumecontainstheproceedingsofthe?rstinternationalmeetingonFormal Methods in Systems Biology, held at Microsoft Research, Cambridge, UK, June 4-5, 2008. While there are several venues that cove...

As computer technology is used to control critical systems to an increasing degree, it is vital that the methods for developing and understanding these systems are substantially improved. The mathe...

Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I

Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II

These are the joint ?nal proceedings of the 11th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2006) and the ?fth International Workshop on Parallel and Distribute...

This book constitutes the refereed proceedings of the 24rd Brazilian Symposium on Formal Methods, SBMF 2021, which was held in December 2021. Due to COVID 19-pandemic it took place virtually. The 8...

17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings

This book constitutes the thoroughly refereed post-conference proceedings of the 12th Brazilian Symposium on Formal Methods, SBMF 2009, held in Gramado, Brazil, in August 2009 -- co-located with SA...