Model Checking Concurrent Programs

Lecture Notes in Computer Science- Germany

doi 10.1007/978-3-540-93900-9_2

Full Text

Abstract

Available in

Date

Authors

Publisher

Springer Berlin Heidelberg

Related search

Pairwise Reachability Analysis for Higher Order Concurrent Programs by Higher-Order Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Symbolic Model Checking of Concurrent Programs Using Partial Orders and On-The-Fly Transactions

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2006English

Probabilistic Model Checking of Regenerative Concurrent Systems

IEEE Transactions on Software Engineering
Software
2016English

Model Checking of Concurrent Algorithms: From Java to C

IFIP Advances in Information and Communication Technology
Computer NetworksInformation SystemsManagementCommunications
2010English

Validation of Object-Oriented Concurrent Designs by Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1999English

Tools and Techniques for Model Checking Networked Programs

2008English

Controllable Self-Checking Checkers for Conditional Concurrent Checking

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems
ElectricalSoftwareComputer GraphicsComputer-Aided DesignElectronic Engineering
1995English

Model-Checking Temporal Properties of Real-Time HTL Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2010English

On Sequentializing Concurrent Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy