Using Contracts to Guide the Search-Based Verification of Concurrent Programs

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-642-39742-4_22
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Verification of Concurrent Programs Using the Coq Proof Assistant: A Case Study

IPSJ Digital Courier
2005English

Using Triples to Reason About Concurrent Programs

1993English

Guide to Performance-Based Road Maintenance Contracts in Russian

2018English

Synthesizing Concurrent Programs Using Answer Set Programming

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2012English

Synthesis of Concurrent Programs

Teaching Mathematics and Computer Science
2015English

Set-Based Failure Analysis for Logic Programs and Concurrent Constraint Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1999English

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

ACM Transactions on Programming Languages and Systems
Software
1993English

On Sequentializing Concurrent Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Model Checking Concurrent Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy