The Why/Krakatoa/Caduceus Platform for Deductive Program Verification

doi 10.1007/978-3-540-73368-3_21
Full Text
Abstract

Available in full text

Date

Unknown

Authors
Publisher

Springer Berlin Heidelberg

Related search

Deductive Software Verification

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

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

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

Runtime Checking for Program Verification

English

Krakatoa Still Active

Nature
Multidisciplinary
1983English

A Metric for Testing Program Verification Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2013English

Automated Techniques for Higher-Order Program Verification

Progress in Informatics
2013English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy