Project

General

Profile

Actions
Copy link

Task #1792

open

RCV interface for Satabs

Added by Vadim Mutilin almost 13 years ago. Updated over 12 years ago.

Status:
New
Priority:
High
Assignee:
-
Category:
-
Start date:
09/20/2011
Due date:
% Done:

0%

Estimated time:
Detected in build:
svn
Published in build:

Description

Experimental evaluation of new RCV!

Actions
Copy link
 #1

Updated by Vadim Mutilin almost 13 years ago

  • Subject changed from RCV интерфейс для Satabs to RCV interface for Satabs
  • Description updated (diff)
Actions
Copy link
 #2

Updated by Evgeny Novikov over 12 years ago

With accordance to competition results I suggest that we also should think on:
1. Usage of different CPAchecker configutations.
2. Implementation of RCV interface for ESBMC
Ok?

Actions
Copy link
 #3

Updated by Evgeny Novikov over 12 years ago

Is it so high issue? I guess that won't be implemented in our near plans.

Actions
Copy link

Also available in: Atom PDF