Property-Driven Fence Insertion Using Reorder Bounded Model Checking

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-319-19249-9_19
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer International Publishing

Related search

Model Checking Ontology‐driven Reasoning Agents Using Strategy and Abstraction

Concurrency Computation Practice and Experience
Computer NetworksCommunicationsComputer Science ApplicationsComputational TheoryMathematicsTheoretical Computer ScienceSoftware
2019English

Benefits of Bounded Model Checking at an Industrial Setting

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2001English

A Direct Algorithm for Multi-Valued Bounded Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2008English

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

Rapid Property Specification and Checking for Model-Based Formalisms

2011English

Time-Bounded Model Checking of Infinite-State Continuous-Time Markov Chains

Fundamenta Informaticae
Information SystemsAlgebraNumber TheoryMathematicsComputational TheoryTheoretical Computer Science
2009English

State-Based Model Checking of Event-Driven System Requirements

IEEE Transactions on Software Engineering
Software
1993English

A Bounded Model Checking Approach for the Verification of Web Services Composition

International Journal of Web Services Research
Computer NetworksSoftwareInformation SystemsCommunications
2013English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy