<div xmlns="http://www.w3.org/1999/xhtml">Dear Lukas,</div><div xmlns="http://www.w3.org/1999/xhtml"> </div><div xmlns="http://www.w3.org/1999/xhtml">It is great to hear that you believe in Klever like we do :)</div><div xmlns="http://www.w3.org/1999/xhtml"> </div><div xmlns="http://www.w3.org/1999/xhtml">Of course at the moment it is still a very deep research project and many technical things should be done before it will be production ready. There are just a couple of examples around the world when somebody could do that in the corresponding area.</div><div xmlns="http://www.w3.org/1999/xhtml"> </div><div xmlns="http://www.w3.org/1999/xhtml">Without no doubts you can share this document with anybody who are interested in this topic. Feedback in any form is welcome!</div><div xmlns="http://www.w3.org/1999/xhtml"> </div><div xmlns="http://www.w3.org/1999/xhtml">-- </div><div xmlns="http://www.w3.org/1999/xhtml" href="http://mailto:novikov@ispras.ru">Evgeny Novikov<br />Linux Verification Center, ISP RAS<br /><a rel="noopener noreferrer" href="http://linuxtesting.org">http://linuxtesting.org</a></div><div xmlns="http://www.w3.org/1999/xhtml"> </div><div xmlns="http://www.w3.org/1999/xhtml"> </div><div xmlns="http://www.w3.org/1999/xhtml"> </div><div xmlns="http://www.w3.org/1999/xhtml">22.01.2019, 12:33, "lukas.bulwahn@bmw.de" <lukas.bulwahn@bmw.de>:</div><blockquote xmlns="http://www.w3.org/1999/xhtml" type="cite"><div link="blue" vlink="purple" lang="DE"><div><p style="margin:0cm;margin-bottom:0.0001pt;font-size:11pt;font-family:Calibri,sans-serif;"><span lang="EN-GB">Dear Evgeny,</span></p><p style="margin:0cm;margin-bottom:0.0001pt;font-size:11pt;font-family:Calibri,sans-serif;"><span lang="EN-GB"> </span></p><p style="margin:0cm;margin-bottom:0.0001pt;font-size:11pt;font-family:Calibri,sans-serif;"><span lang="EN-GB">This list of activities is looking very promising and going in the right direction.</span></p><p style="margin:0cm;margin-bottom:0.0001pt;font-size:11pt;font-family:Calibri,sans-serif;"><span lang="EN-GB"> </span></p><p style="margin:0cm;margin-bottom:0.0001pt;font-size:11pt;font-family:Calibri,sans-serif;"><span lang="EN-GB">(To be very honest: my personal interest in LDV/Klever has been eaten up by the pushbacks and difficulties we encountered last year. Despite all the support you provided and advances you built in Klever last year, it was just not yet ready for showing the results that I was hoping for. I personally will continue to investigate in syzkaller, but my assessment of Klever’s potential is still positive, and the quantative data I collected shows that LDV is still a promising tool in the Linux kernel development.</span></p><p style="margin:0cm;margin-bottom:0.0001pt;font-size:11pt;font-family:Calibri,sans-serif;"><span lang="EN-GB"> </span></p><p style="margin:0cm;margin-bottom:0.0001pt;font-size:11pt;font-family:Calibri,sans-serif;"><span lang="EN-GB">May I share this document with other potential stakeholders, the ELISA collaboration project and other interested parties through my expert network and with Linux Foundation?</span></p><p style="margin:0cm;margin-bottom:0.0001pt;font-size:11pt;font-family:Calibri,sans-serif;"><span lang="EN-GB"> </span></p><p style="margin:0cm;margin-bottom:0.0001pt;font-size:11pt;font-family:Calibri,sans-serif;"><span lang="EN-GB">Best regards,</span></p><p style="margin:0cm;margin-bottom:0.0001pt;font-size:11pt;font-family:Calibri,sans-serif;"><span lang="EN-GB"> </span></p><p style="margin:0cm;margin-bottom:0.0001pt;font-size:11pt;font-family:Calibri,sans-serif;"><span lang="EN-GB">Lukas</span></p><p style="margin:0cm;margin-bottom:0.0001pt;font-size:11pt;font-family:Calibri,sans-serif;"><span lang="EN-GB"> </span></p><div style="border:none;border-top:solid #B5C4DF 1pt;padding:3pt 0cm 0cm 0cm;"><p style="margin-left:36pt;"><strong><span style="color:black;font-size:12pt;">From: </span></strong><span style="color:black;font-size:12pt;">Evgeny Novikov <<a rel="noopener noreferrer" href="mailto:novikov@ispras.ru">novikov@ispras.ru</a>><br /><strong>Date: </strong>Tuesday <span>2019-01-22</span> at 08:57<br /><strong>To: </strong>LDV list <<a rel="noopener noreferrer" href="mailto:ldv-project@ispras.ru">ldv-project@ispras.ru</a>>, "<a rel="noopener noreferrer" href="mailto:ldv-project@linuxtesting.org">ldv-project@linuxtesting.org</a>" <<a rel="noopener noreferrer" href="mailto:ldv-project@linuxtesting.org">ldv-project@linuxtesting.org</a>>, Alexander Petrenko <<a rel="noopener noreferrer" href="mailto:petrenko@ispras.ru">petrenko@ispras.ru</a>>, "Bulwahn Lukas, JC-22" <<a rel="noopener noreferrer" href="mailto:Lukas.Bulwahn@bmw.de">Lukas.Bulwahn@bmw.de</a>>, "<a rel="noopener noreferrer" href="mailto:mSzczepankiewicz@exida.com">mSzczepankiewicz@exida.com</a>" <<a rel="noopener noreferrer" href="mailto:mSzczepankiewicz@exida.com">mSzczepankiewicz@exida.com</a>><br /><strong>Subject: </strong>Re: [ldv-project] Most important missed features and crucial bugs of Klever</span></p></div><div><p style="margin-left:36pt;"> </p></div><div><p style="margin-left:36pt;">Dear colleagues,</p></div><div><p style="margin-left:36pt;"> </p></div><div><p style="margin-left:36pt;">At last we completed internal discussions of further development of Klever in favor of verification of the Linux kernel. Here is the result:</p></div><div><p style="margin-left:36pt;"> </p></div><div><p style="margin-left:36pt;"><a rel="noopener noreferrer" href="https://docs.google.com/document/d/11e7cDzRqx0nO1UBcM75l6MS28zRBJUicXdNiReEpDKI/edit?usp=sharing">https://docs.google.com/document/d/11e7cDzRqx0nO1UBcM75l6MS28zRBJUicXdNiReEpDKI/edit?usp=sharing</a></p></div><div><p style="margin-left:36pt;"> </p></div><div><p style="margin-left:36pt;">We would be glad to receive any feedback in addition to the one you provided thus far.</p></div><div><p style="margin-left:36pt;"> </p></div><div><p style="margin-left:36pt;">-- </p></div><div><p style="margin-left:36pt;">Evgeny Novikov<br />Linux Verification Center, ISP RAS<br /><a rel="noopener noreferrer" href="http://linuxtesting.org/">http://linuxtesting.org</a></p></div><div><p style="margin-left:36pt;"> </p></div><div><p style="margin-left:36pt;"> </p></div><div><p style="margin-left:36pt;"> </p></div><div><p style="margin-left:36pt;">25.11.2018, 21:04, "Evgeny Novikov" <<a rel="noopener noreferrer" href="mailto:novikov@ispras.ru">novikov@ispras.ru</a>>:</p></div><blockquote style="margin-top:5pt;margin-bottom:5pt;"><div><p style="margin-left:36pt;">Until the mentioned date we did not receive feature/bug lists from anybody. I guess that this is because the task is not trivial at all. Without really deep understanding one can not reason about Klever pros and cons well enough. There are no straightforward analogues of Klever in industry, so, nobody can say easily, that X has such features while Klever does not have them.</p></div><div><p style="margin-left:36pt;"> </p></div><div><p style="margin-left:36pt;">From the other side people, who are aware much about Klever internals, can rank missed features and crucial bugs in quite an incorrect way. For instance, I dislike inefficient weaving very much but for many users better support of new versions and non-standard configurations of the Linux kernel is necessary much more.    </p></div><div><p style="margin-left:36pt;"> </p></div><div><p style="margin-left:36pt;">Let's try another approach. The core development team will suggest an initial list of important features and bugs. They will be higher-level than ones in <a rel="noopener noreferrer" href="https://forge.ispras.ru/projects/klever/issues?set_filter=1">our issue tracker</a>. Then everybody will be able to suggest any improvements to be discussed. I hope that we will complete the former in 2-3 weeks, and we will finish discussion until the end of this year or the early beginning of the following year.</p></div><div><p style="margin-left:36pt;"> </p></div><div><p style="margin-left:36pt;">-- </p></div><div><p style="margin-left:36pt;">Evgeny Novikov<br />Linux Verification Center, ISP RAS<br /><a rel="noopener noreferrer" href="http://linuxtesting.org/">http://linuxtesting.org</a></p></div><div><p style="margin-left:36pt;"> </p></div><div><p style="margin-left:36pt;"> </p></div><div><p style="margin-left:36pt;"> </p></div><div><p style="margin-left:36pt;">14.11.2018, 19:31, "Evgeny Novikov" <<a rel="noopener noreferrer" href="mailto:novikov@ispras.ru">novikov@ispras.ru</a>>:</p></div><blockquote style="margin-top:5pt;margin-bottom:5pt;"><div><p style="margin-left:36pt;">Dear developers, users and experts!</p></div><div><p style="margin-left:36pt;"> </p></div><div><p style="margin-left:36pt;">We would like to collect your opinions about most important features that are missed in Klever as well as crucial bugs that Klever has at the moment. This survey will help us to evaluate better possible directions of future development.</p></div><div><p style="margin-left:36pt;"> </p></div><div><p style="margin-left:36pt;">Please, enumerate features and bugs that you treat most vital. We will assume that items that you will put earlier in a list have a larger priority for you. Examples are "Klever does not support verification of loadable kernel modules of recent versions of the Linux kernel", "Klever lacks documentation on development of requirement specifications", "Klever needs more user-friendly interface".</p></div><div><p style="margin-left:36pt;"> </p></div><div><p style="margin-left:36pt;">We will summarize your feedback on November 23, but we are looking forward for your opinion at any time.</p></div><div><p style="margin-left:36pt;"> </p></div><div><p style="margin-left:36pt;">Best regards,</p></div><div><p style="margin-left:36pt;">Evgeny Novikov</p></div><div><p style="margin-left:36pt;"> </p></div><div><p style="margin-left:36pt;">-- </p></div><div><p style="margin-left:36pt;">Evgeny Novikov<br />Linux Verification Center, ISP RAS<br /><a rel="noopener noreferrer" href="http://linuxtesting.org/">http://linuxtesting.org</a></p></div><div><p style="margin-left:36pt;"> </p></div></blockquote></blockquote></div></div></blockquote>