scientific article
From MaRDI portal
Publication:2845505
zbMath1271.68086MaRDI QIDQ2845505
Publication date: 30 August 2013
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105825605
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (8)
Optimistic synchronization-based state-space reduction ⋮ Dynamic Reductions for Model Checking Concurrent Software ⋮ Symbolic predictive analysis for concurrent programs ⋮ Unnamed Item ⋮ Dependence analysis for safe futures ⋮ From non-preemptive to preemptive scheduling using synchronization synthesis ⋮ Strict Linearizability and Abstract Atomicity ⋮ Partial Order Reduction for Rewriting Semantics of Programming Languages
This page was built for publication:
