Static Checking of Interprocess Communication in ECSP

ACM SIGPLAN Notices
doi 10.1145/502949.502903
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Association for Computing Machinery (ACM)

Related search

Interprocess Communication

Chapman & Hall/CRC Computer & Information Science Series
2006English

Multiparty Interactions for Interprocess Communication and Synchronization

IEEE Transactions on Software Engineering
Software
1989English

Interprocess Communication With Java in a Microsoft Windows Environment

South African Computer Journal
Information SystemsHuman-Computer InteractionComputer NetworksCommunicationsComputer Science ApplicationsEducation
2017English

Checking Unstable Properties in Distributed Testing of Communication Protocols

1996English

Inferring Loop Invariants by Mutation, Dynamic Analysis, and Static Checking

IEEE Transactions on Software Engineering
Software
2015English

Equivalence Checking of Static Affine Programs Using Widening to Handle Recurrences

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

The Yogi Project: Software Property Checking via Static Analysis and Testing

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

OntCheck: An Ontology-Driven Static Correctness Checking Tool for Component-Based Models

Journal of Applied Mathematics
Applied Mathematics
2013English

Exact Schedulability Analysis for Static-Priority Global Multiprocessor Scheduling Using Model-Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2007English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy