Deductive Software Verification

International Journal on Software Tools for Technology Transfer - Germany
doi 10.1007/s10009-011-0211-0
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Science and Business Media LLC

Related search

Family-Based Deductive Verification of Software Product Lines

2012English

Automating Deductive Verification for Weak-Memory Programs

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Deductive Verification of Telecommunication Systems Written in C

Automatic Control and Computer Sciences
ControlSystems EngineeringSignal ProcessingSoftware
2013English

Deductive Verification of Advanced Out-Of-Order Microprocessors

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2003English

The Why/Krakatoa/Caduceus Platform for Deductive Program Verification

English

Embedded Software Verification in Hardware–software Codesign

Journal of Systems Architecture
HardwareArchitectureSoftware
2000English

On Quantitative Software Verification

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2009English

On Verification of Software Components

International Journal of Software Engineering & Applications
2012English

Formal Verification of Object-Oriented Software

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy