Evgeny Novikov
Evgeny Novikov- Email: novikov@ispras.ru
- Registered on: 06/09/2010
- Last connection: 08/12/2019
Issues
- Assigned issues: 210
- Reported issues: 1218
Projects
- CVC3 with small optimizations for BLAST (Manager, Developer, 07/25/2018)
- CPAchecker (Manager, Developer, 07/28/2018)
- LDV Tools (Manager, Developer, 03/17/2018)
- Linux Kernel Safety RuleDB (Manager, Developer, 10/25/2011)
- CIL (Manager, 06/06/2018)
- Race Hound (Manager, Developer, 11/22/2012)
- Klever (Manager, Developer RO, Project Creator, 09/03/2015)
- Clade (Manager, Developer, 02/22/2018)
- C Instrumentation Framework (Manager, Developer, Project Creator, 06/05/2012)
- BLAST (Reporter, 09/16/2011)
- Linux Driver Verification (Manager, Developer, 06/09/2010)
- Deductive Verification Tools for Linux Kernel (Manager, Reporter, Customer, Product Owner, 03/18/2019)
- Kartographer (Reporter, 11/19/2015)
- Aspectator (Manager, Developer, Project Creator, 02/27/2018)
Activity
Today
-
12:35 PM Klever Revision cab50fba: Update deployment scripts to meet Klever 3.0
-
- Evgeny Novikov wrote:
> Vladimir Gratinskiy wrote:
> > Population is not a developer feature. It's needed for deplo...
09/23/2019
-
- This is especially important for lightweight mode since there is no information on real failures of Frama-C (CIL) in ...
-
-
-
-
- These files are not even uploaded as additional source files.
-
- This is not great and perhaps there is some bug in Core or in verifier,
but let's Bridge will not corrupt correspondi...
09/20/2019
-
-
Also available in: Atom