Testing and Debugging Message Passing Programs in Synergy With Their Specifications

Fundamenta Informaticae - Netherlands
doi 10.3233/fi-2000-41305
Full Text
Abstract

Available in full text

Date
Authors
Publisher

IOS Press

Related search

Verifying Message-Passing Programs With Dependent Behavioural Types

2019English

Incorporating Memory Layout in the Modeling of Message Passing Programs

English

MPICH-GQ: Quality-Of-Service for Message Passing Programs

2000English

On the Completeness of Verifying Message Passing Programs Under Bounded Asynchrony

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Parameter Learning With Truncated Message-Passing

2011English

Accelerated Large-Scale Inversion With Message Passing

2012English

Combinators for Message-Passing in Haskell

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Model Checking Value-Passing Modal Specifications

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2015English

Stealth Debugging of Programs in Qemu Emulator With WinDbg Debugger

Proceedings of the Institute for System Programming of the RAS
2018English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy