Feature #6747
closedSupport UAtomizer as one of Klever verification back-ends
0%
Description
At the moment just CPAchecker is involved quite well.
Updated by Ilja Zakharov almost 9 years ago
- Priority changed from Normal to High
Updated by Vadim Mutilin almost 9 years ago
except CPAchecker (3177 points) and BLAST (2704) good candidates are
- UAtomizer (2686)
- smack+corral (2206)
- LPI[CPAchecker] (2107)
- ESBMC+depthk (2009)
- CBMC (1972)
- SeaHorn (1694)
Updated by Alexey Khoroshilov almost 9 years ago
Is it make sense to take a look at some subset of the tasks or to use some other scheme of scoring?
Is it easy enough?
Updated by Evgeny Novikov almost 9 years ago
Alexey Khoroshilov wrote:
Is it make sense to take a look at some subset of the tasks or to use some other scheme of scoring?
Is it easy enough?
This feature request is to just try several static verifiers other than CPAchecker. I assume that there will be several issues due to our current strict relation with CPAchecker. Finally it should be possible to run any verifier participated in SV-COMP but likely just those which participated in the device driver category is fair enough.
Everything else should be done outside this feature request.
Updated by Evgeny Novikov almost 8 years ago
- Subject changed from Try a couple of other static verifiers to Support UAtomizer as one of Klever verification back-ends
- Category deleted (
Scheduling) - Status changed from New to Open
- Assignee set to Ilja Zakharov
- Priority changed from High to Immediate
Updated by Evgeny Novikov almost 8 years ago
- Status changed from Open to Rejected
- Assignee deleted (
Ilja Zakharov)
Duplicates #7799 that looks more appropriate.