Effective Stateless Model Checking for C/C++ Concurrency

Proceedings of the ACM on Programming Languages
doi 10.1145/3158105
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Association for Computing Machinery (ACM)

Related search

SMT-Based Bounded Model Checking for Embedded ANSI-C Software

IEEE Transactions on Software Engineering
Software
2012English

Context-Bounded Model Checking of LTL Properties for ANSI-C Software

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2011English

Stateless Model Checking of the Linux Kernel’s Read–copy Update (RCU)

International Journal on Software Tools for Technology Transfer
Information SystemsSoftware
2019English

Model Checking of Concurrent Algorithms: From Java to C

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

Hardware Synthesis of Weakly Consistent C Concurrency

2017English

μC++: Concurrency in the Object-Oriented Language C++

Software - Practice and Experience
Software
1992English

Effective Disinfectants for Coccidioides Immitis and C. Posadasii

Applied Biosafety
ManagementMonitoringMutagenesisPublic HealthEnvironmentalHealthToxicologyPolicyBiotechnologyLawOccupational Health
2015English

Model Checking

1997English

Model Checking for Probabilistic Timed Automata

Formal Methods in System Design
HardwareTheoretical Computer ScienceArchitectureSoftware
2012English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy