الصفحة 1
الصفحة 1
Unifying Theories of Programming ; 1st International Symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5-7, 2006, Revised Selected Papers
A number of formal notations and theories have now emerged and proved them-selves effective as tools for the practisingsoftware engineer. Within these theorieswe see a number of common themes, such as abstraction, refinement, choice, ter-mination, feasibility, concurrency and communication. The commonality of suchthemes opens perspectives for unifying theories, an activity which can increaseour ability to use existing methods and notations, to recognise their limitations,and to extend and generalise them.
Computer Aided Verification ; 19th International Conference, CAV 2007, Berlin, Germany, July 3-7, 2007, Proceedings
This volume contains advancement of the theory and practice of computer-assisted formal analysis methods for software and hardware systems. covers the spectrum from theoretical - sults to concrete applications, with an emphasis on practical verification tools and the algorithms and techniques that are needed for their implementation.
