Automating Deductive Verification for Weak-Memory Programs

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-319-89960-2_11
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer International Publishing

Related search

Deductive Software Verification

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

The Why/Krakatoa/Caduceus Platform for Deductive Program Verification

English

The Halting Problem for Deductive Synthesis of Logic Programs

1994English

Deductive Verification of Telecommunication Systems Written in C

Automatic Control and Computer Sciences
ControlSystems EngineeringSignal ProcessingSoftware
2013English

Automating the IEEE Std. 1500 Compliance Verification for Embedded Cores

2007English

Family-Based Deductive Verification of Software Product Lines

2012English

Deductive Verification of Advanced Out-Of-Order Microprocessors

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2003English

An Algebraic Approach for PLC Programs Verification

English

Formal Verification of Programs for Abstract Register Machines

Bulletin of the Novosibirsk Computing Center. Series:Computer Science
2013English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy