<div xmlns="http://www.w3.org/1999/xhtml">Dear developers, users and experts!</div><div xmlns="http://www.w3.org/1999/xhtml"> </div><div xmlns="http://www.w3.org/1999/xhtml">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.</div><div xmlns="http://www.w3.org/1999/xhtml"> </div><div xmlns="http://www.w3.org/1999/xhtml">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".</div><div xmlns="http://www.w3.org/1999/xhtml"> </div><div xmlns="http://www.w3.org/1999/xhtml">We will summarize your feedback on November 23, but we are looking forward for your opinion at any time.</div><div xmlns="http://www.w3.org/1999/xhtml"> </div><div xmlns="http://www.w3.org/1999/xhtml">Best regards,</div><div xmlns="http://www.w3.org/1999/xhtml">Evgeny Novikov</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>