Project

General

Profile

Actions
Copy link

Feature #4381

open

Add RCV interface for CBMC

Added by Evgeny Novikov almost 11 years ago. Updated over 10 years ago.

Status:
New
Priority:
High
Assignee:
Vitaly Mordan
Category:
-
Start date:
07/23/2013
Due date:
% Done:

0%

Estimated time:
Published in build:

Description

We need to integrate CBMC with LDV tools and evaluate its capabilities for driver analysis.

Actions
Copy link
 #1

Updated by Evgeny Novikov over 10 years ago

  • Assignee changed from Vladimir Gratinskiy to Vitaly Mordan
Actions
Copy link

Also available in: Atom PDF