๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Efficient Verification of Sequential and Concurrent C Programs

โœ Scribed by S. Chaki; E. Clarke; A. Groce; J. Ouaknine; O. Strichman; K. Yorav

Book ID
111582564
Publisher
Springer
Year
2004
Tongue
English
Weight
627 KB
Volume
25
Category
Article
ISSN
0925-9856

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

An efficient and flexible C++ library fo
An efficient and flexible C++ library for concurrent programming
โœ Agostino Poggi; Giovanni Rimassa ๐Ÿ“‚ Article ๐Ÿ“… 1998 ๐Ÿ› John Wiley and Sons ๐ŸŒ English โš– 221 KB

A major problem for the integration of concurrency in object-oriented languages is the so-called inheritance anomaly, i.e. the conflicts between inheritance and concurrency that often cause the need to redefine inherited methods in order to maintain the integrity of objects. Several solutions have b

Mathematical Logic for Computer Science
Mathematical Logic for Computer Science Volume 368 || Verification of Concurrent Programs
โœ Ben-Ari, Mordechai ๐Ÿ“‚ Article ๐Ÿ“… 2012 ๐Ÿ› Springer London ๐ŸŒ English โš– 459 KB

Mathematical Logic for Computer Science is a mathematics textbook with theorems and proofs, but the choice of topics has been guided by the needs of students of computer science. The method of semantic tableaux provides an elegant way to teach logic that is both theoretically sound and easy to under