Verification and Testing of Concurrent Systems With Action Races

IFIP Advances in Information and Communication Technology - United States
doi 10.1007/978-0-387-35516-0_17
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer US

Related search

Conformance Testing of Distributed Concurrent Systems With Executable Designs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

Model-Based Testing for Concurrent Systems With Labelled Event Structures

Software Testing Verification and Reliability
Media TechnologyRiskReliabilitySafetyQualitySoftware
2014English

Combining Simulation and Guided Traversal for the Verification of Concurrent Systems

English

Verification of Concurrent Design Patterns With Data

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2019English

A Metric for Testing Program Verification Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

The Concurrency Workbench: A Semantics-Based Tool for the Verification of Concurrent Systems

ACM Transactions on Programming Languages and Systems
Software
1993English

An Action Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1992English

A Concurrent Harmful Races Identification Algorithm Using Hadoop and Multiple Cloud Servers

2018English

Verification of Concurrent Quantum Protocols by Equivalence Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy