This book offers an overview of some of the most prominent parallel programming models used in high-performance computing and supercomputing systems today.

This book is unique in addressing assertional verification of all essential classes of imperative programs: while programs, recursive programs, object-oriented programs, nondeterministic programs, parallel programs, and distributed programs ...

Software -- Software Engineering.

MOVEP is a school devoted to the broad subject of modeling and verifying software and hardware systems. This volume contains tutorials and annotated bibliographies covering the main subjects addressed at MOVEP 2000.

MOVEP is a school devoted to the broad subject of modeling and verifying software and hardware systems. This volume contains tutorials and annotated bibliographies covering the main subjects addressed at MOVEP 2000.

... programs using nonblocking operations. In: Cappello et al. [6], pp. 326–334 42. Siegel, S.F., Mironova, A., Avrunin, G.S., Clarke, L.A.: Combining symbolic execution with model checking to verify parallel numerical programs. ACM ...

... verification of new methods for constructing parallel programs . Finally , models of a third category were employed for the improvement of techniques for the ... MODELS OF PARALLEL COMPUTATIONS (V E Kotov) Program schemes 109 109.

Finally, the axioms and inference rules are shown to be consistent and complete (in a special sense) with respect to an interpretive model of parallel execution.

This monograph-like book assembles the thorougly revised and cross-reviewed lectures given at the School on Data Parallelism, held in Les Menuires, France, in May 1996.