News

6-Apr-2019: CPAchecker-BAM-BnB and CPALockator at SV-COMP'2019

CPAchecker-BAM-BnB and CPALockator were presented at the 8th International Competition on Software Verification (SV-COMP) held at TACAS 2019 in Prague, Czechia. This year our submission CPAchecker-BAM-BnB has won Gold medal in Software Systems category and CPALockator participated in Concurrency Safety category.

1-Feb-2019: The book about modeling and verification of access control policies in operating systems is published

We are happy to announce availability of "Modeling and verification of access control policies in operating systems" book issued by publishing house "Goryachaya Liniya - Telekom". The book is written by P.N. Devyanin (RusBiTech) and members of Linux Verification Center team within AstraVer project.

27-Sep-2018: CPA&LDV Workshop took place in Moscow

CPA&LDV Workshop was held in Moscow, Russia on September 25-26.

13-Aug-2018: Improve environment model for memory safety verification of the Linux kernel and find bugs related to the memory errors in Linux kernel

Anton Vasilyev has finished Google Summer of Code 2018 project "Improve environment model for memory safety verification of the Linux kernel and find bugs related to the memory errors in Linux kernel" for The Linux Foundation.

04-Jul-2018: Klever 1.0 released

We are happy to announce that a long term work aimed to redesign LDV Tools has been completed by releasing Klever 1.0.

Klever provides a lot of new features including:

28-Jun-2018: Linux Verification Center at Sound Static Analysis for Security Workshop

Alexey Khoroshilov presented the experience of Linux Verification Center in proving sequential properties of unmodified Linux kernel code using Frama-C with AstraVer plugin at Sound Static Analysis for Security Workshop held at the National Institute of Standards and Technology (NIST) in Gaithersburg, Maryland, USA, on June 27-28, 2018.

15-Jun-2018: CPA&LDV Workshop 2018 will take place in Moscow

The joint 3rd International Workshop on CPAchecker (CPA) and 8th Linux Driver Verification (LDV) Workshop
will take place on September 25-26, 2018 in Moscow, Russia.

23-Apr-2018: CPAchecker-BAM-BnB and CPAchecker-BAM-Slicing at SV-COMP'2018

CPAchecker-BAM-BnB and CPAchecker-BAM-Slicing were presented at the 7th International Competition on Software Verification (SV-COMP) held at TACAS 2018 in Thessaloniki, Greece. This year our submission CPAchecker-BAM-BnB has won Gold medal and CPAchecker-BAM-Slicing has won Bronze medal in Software Systems category.

7-Sep-2017: 7th Linux Driver Verification Workshop took place in Paderborn

7th Linux Driver Verification Workshop was held in Paderborn, Germany on September 4-5 colocated with 2nd International Workshop on CPAchecker.

28-Aug-2017: Finding bugs related to the data races in Linux kernel

Anton Volkov has finished his Google Summer of Code project "Finding bugs related to the data races in Linux kernel" for The Linux Foundation. The goals of the GSoC project were:

  1. searching for bugs related to data races in Linux kernel;
  2. notifying authors and maintainers about them.