<h1>Verification Futures 2018</h1>
Now in its 8th successful year, VF2018 Europe incorporated Formal Verification 2018 and provided a unique one day conference, exhibition and industry networking event. Organised by T&VS in partnership with the community the event attracted over 400 participants, either In-Person or Online, to discuss the challenges faced in hardware and software verification. For VF2018 the program included a focus on formal verification in addition to tracks covering safety, security and software testing.
The event gave the opportunity for end users to define their current and future verification challenges and collaborate with the vendors to create solutions. It’s also provided an excellent opportunity to network and catch up with other verification engineers across Europe.
<h2>Event at a Glance</h2>
<h4>Thursday 14th June, 2018</h4>
<h4>Full day conference, exhibition and networking event</h4>
<h4>Reading (UK) and online</h4>
<h4>FREE to attend In-Person or Online</h4>
<h2>Event at a Glance</h2>
<table style=”height: 1958px;” width=”1134″>
<tbody>
<tr style=”background-color: #f8f8f8;”>
<td width=”10%”>08:30</td>
<td width=”90%”>Registration, Coffee and Networking</td>
<td width=”15%”> Slides</td>
<td width=”15%”> Videos</td>
</tr>
<tr>
<td style=”vertical-align: top; background-color: #000154;”></td>
<td style=”background-color: #000154;”><span style=”color: #ffffff;”>Single Track Plenary Session</span></td>
<td width=”15%”></td>
<td width=”15%”></td>
</tr>
<tr>
<td>09:25</td>
<td>Welcome: Mike Bartley, Test and Verification Solutions Ltd</td>
<td width=”15%”></td>
<td width=”15%”></td>
</tr>
<tr style=”background-color: #ffffff;”>
<td>09:30</td>
<td>
<p style=”padding-bottom: 5px; margin-bottom: 0px; line-height: 1.1em;”>Keynote Presentation:</p>
<a href=”/verification-futures/vf2018/tolerating-individual-failure-to-survive/”>Tolerating Individual Failure to Survive</a>
Peter Davies, Director – Security Concepts, Thales</td>
<td width=”15%”> <a href=”/wp-content/uploads/2022/10/Peter_Davies-ThalesUK.pdf”>Download</a></td>
<td width=”15%”> <em> <a href=”https://youtu.be/P1AWg8m6or0″ target=”_blank” rel=”noopener”>View</a></em></td>
</tr>
<tr>
<td></td>
<td>User Verification Challenges – Three Challenges from Users</td>
</tr>
<tr>
<td>10:00</td>
<td>Challenge 1: <a href=”/verification-futures/vf2018/challenge-1/”>Bit Exact Verification Using Matlab in UVM and more…</a>
Norbert Fried, Satixfy</td>
<td width=”15%”> <a href=”/wp-content/uploads/2022/10/Norbert_Fried-Satixfy.pdf”>Download</a></td>
<td width=”15%”> <em> <a href=”https://youtu.be/o4YBIvgABN4″ target=”_blank” rel=”noopener”>View</a></em></td>
</tr>
<tr>
<td>10:10</td>
<td>Challenge 2: <a href=”/verification-futures/vf2018/challenge-2/”>The Challenges of Autonomous Commercial Vehicles</a>
Nicholas Clay, Head of Homologation and Quality, Arrival</td>
<td width=”15%”></td>
<td width=”15%”></td>
</tr>
<tr>
<td>10:20</td>
<td>Challenge 3: <a href=”/verification-futures/vf2018/vv-challenges-for-urban-autonomous-vehicles/”>V&V Challenges for Urban Autonomous Vehicles</a>
John Redford, Chief Architect & VP Perception, FiveAI</td>
<td width=”15%”></td>
<td width=”15%”></td>
</tr>
<tr>
<td style=”vertical-align: top;”>10:30</td>
<td><a href=”/verification-futures/vf2018/verification-challenges-cadence-response/”>Moving the Needle – Faster and Smarter Verification</a>
Mike Stellfox, Cadence</td>
<td width=”15%”> <a href=”/wp-content/uploads/2022/10/Mike_Stellfox-Cadence_Design.pdf”>Download</a></td>
<td width=”15%”> <em><a href=”https://youtu.be/J-rIyFqg2yI” target=”_blank” rel=”noopener”>View</a></em></td>
</tr>
<tr style=”background-color: #f8f8f8;”>
<td>11:00</td>
<td>Refreshments and Networking</td>
</tr>
<tr>
<td style=”vertical-align: top; background-color: #000154;”></td>
<td style=”background-color: #000154;”><span style=”color: #ffffff;”>Multiple Track Session | Morning tracks: Safety, Software Testing and Formal Verification</span></td>
</tr>
<tr>
<td></td>
<td style=”background-color: #ffffff;”>Track 1A: <strong>Safety</strong></td>
</tr>
<tr>
<td><span style=”color: #999999;”>11:40</span></td>
<td><a href=”/verification-futures/vf2018/dynamic-testing-for-the-verification-of-autonomous-systems/”>A Summary of Challenges Identified at the Workshop on ‘Dynamic Testing for the Verification of Autonomous Systems'</a>
Anas Shrinah & Nyasha Masamba, University of Bristol</td>
<td width=”15%”> <a href=”/wp-content/uploads/2022/10/Anas_and_Nyasha-UoBristol-Track_1_Safety_V2-1.pdf”>Download</a></td>
<td width=”15%”> <em><a href=”https://youtu.be/dlCTtnedjKs” target=”_blank” rel=”noopener”>View</a></em></td>
</tr>
<tr>
<td><span style=”color: #999999;”>12:00</span></td>
<td><a href=”/verification-futures/vf2018/autonomous-systems-accelerating-innovation-through-cooperation-and-consensus-in-standards/”>Autonomous Systems: Accelerating Innovation Through Cooperation and Consensus in Standards</a>
Alex Price, Lead Programme Manager, British Standards Institution</td>
<td width=”15%”> <a href=”/wp-content/uploads/2022/10/Alex_Price-BSI.pdf”>Download</a></td>
<td width=”15%”> <em> <a href=”https://youtu.be/rLCLCgl1RQU” target=”_blank” rel=”noopener”>View</a></em></td>
</tr>
<tr>
<td><span style=”color: #999999;”>12:20</span></td>
<td><a href=”/verification-futures/vf2018/linux-safety-verification/”>Linux Safety Verification: A Process for Using Linux in Safety-Critical Environments</a>
Dr. Lukas Bulwahn, BMW Car IT GmbH</td>
<td width=”15%”> <a href=”/wp-content/uploads/2022/10/Lukas_Bulwahn-BMW.pdf”>Download</a></td>
<td width=”15%”> <em> <a href=”https://youtu.be/ScR1fXkGMGA” target=”_blank” rel=”noopener”>View</a></em></td>
</tr>
<tr>
<td></td>
<td style=”background-color: #ffffff;”>Track 2A: <strong>Software Testing</strong></td>
</tr>
<tr>
<td><span style=”color: #999999;”>11:40</span></td>
<td><a href=”/verification-futures/vf2018/metamorphic-testing-for-non-testable-systems/”>Metamorphic Testing for “Non-Testable” Systems</a>
Alastair Donaldson, Reader and EPSRC Early Career Fellow, Imperial College London</td>
<td width=”15%”> <a href=”/wp-content/uploads/2022/10/Alastair_Donaldson-GraphicsFuzz_ICL.pdf”>Download</a></td>
<td width=”15%”> <em> <a href=”https://youtu.be/SQV3VSf8kR4″ target=”_blank” rel=”noopener”>View</a></em></td>
</tr>
<tr>
<td><span style=”color: #999999;”>12:00</span></td>
<td><a href=”/verification-futures/vf2018/ai-for-coding/”>AI For Coding</a>
Darren Royle, Development Team Lead, Diffblue</td>
<td width=”15%”> <a href=”/wp-content/uploads/2022/10/Darren_Royal-DiffBlue.pdf”>Download</a></td>
<td width=”15%”> <em> <a href=”https://youtu.be/LArZVDOsdpM” target=”_blank” rel=”noopener”>View</a></em></td>
</tr>
<tr>
<td><span style=”color: #999999;”>12:20</span></td>
<td><a href=”/verification-futures/vf2018/lockstep-debugging-for-software-verification”>Lockstep Debugging for Software Verification</a>
Ed Jones, Compiler Engineer, Embecosm</td>
<td width=”15%”> <a href=”/wp-content/uploads/2022/10/Ed_Jones-embecosm.pdf”>Download</a></td>
<td width=”15%”> <em> <a href=”https://youtu.be/fakvtQahfIc” target=”_blank” rel=”noopener”>View</a></em></td>
</tr>
<tr>
<td></td>
<td style=”background-color: #ffffff;”>Track 3A: <strong>Formal Verification</strong> (Morning Sessions)</td>
</tr>
<tr>
<td><span style=”color: #999999;”>11:40</span></td>
<td><a href=”/verification-futures/vf2018/formal-2025-my-vision/”>Formal 2025: My Vision</a>
Dr Ashish Darbari, Founder & CEO, Axiomise</td>
<td width=”15%”></td>
<td width=”15%”></td>
</tr>
<tr>
<td><span style=”color: #999999;”>12:00</span></td>
<td><a href=”/verification-futures/vf2018/efficient-formal-verification-of-liveness-and-freedom-from-deadlock/”>Efficient Formal Verification of Liveness and Freedom from Deadlock</a>
Pradeep Kumar Nalla, Senior Test and Verification Engineer, Test and Verification Solutions</td>
<td width=”15%”> <a href=”/wp-content/uploads/2022/10/Pradeep_Nalla.pdf”>Download</a></td>
<td width=”15%”> <em> <a href=”https://youtu.be/wUxy_p09HW8″ target=”_blank” rel=”noopener”>View</a></em></td>
</tr>
<tr>
<td><span style=”color: #999999;”>12:20</span></td>
<td><a href=”/verification-futures/vf2018/efficient-verification-of-multi-property-designs/”>Efficient Verification of Multi-Property Designs (The Benefit of Wrong Assumptions)</a>
Matthias Güdemann, Senior Research Engineer, Diffblue</td>
<td width=”15%”> <a href=”/wp-content/uploads/2022/10/Matthias_Gudemann-DiffBlue_V2.pdf”>Download</a></td>
<td width=”15%”> <em> <a href=”https://youtu.be/fo6tAiL6va0″ target=”_blank” rel=”noopener”>View</a></em></td>
</tr>
<tr style=”background-color: #f8f8f8;”>
<td>12:40</td>
<td>Lunch and Networking</td>
</tr>
<tr>
<td style=”vertical-align: top; background-color: #000154;”></td>
<td style=”background-color: #000154;”><span style=”color: #ffffff;”>Single Track Plenary Session</span></td>
</tr>
<tr style=”background-color: #ffffff;”>
<td>13:40</td>
<td><a title=”Fault Injection & Formal – Made for Each Other” href=”/verification-futures/vf2018/fault-injection-formal-made-for-each-other/”>Fault Injection & Formal – Made for Each Other</a>
Iain Singleton, Applications Engineer, Synopsys</td>
<td width=”15%”> <a href=”/wp-content/uploads/2022/10/Iain_Singleton-Synopsys.pdf”>Download</a></td>
<td width=”15%”> <em> <a href=”https://youtu.be/6XhR20LJz9U” target=”_blank” rel=”noopener”>View</a></em></td>
</tr>
<tr>
<td style=”vertical-align: top; background-color: #000154;”></td>
<td style=”background-color: #000154;”><span style=”color: #ffffff;”>Multi-Track Session | Security, Hardware Verification and Formal Verification</span></td>
</tr>
<tr>
<td></td>
<td style=”background-color: #ffffff;”>Track 1B: <strong>Security</strong></td>
</tr>
<tr>
<td><span style=”color: #999999;”>14:15</span></td>
<td><a href=”/verification-futures/vf2018/security-starts-with-risk-assessment-and-threat-modelling/”>Security Starts with Risk Assessment and Threat Modelling</a>
Duncan Purves, 2 Insight Ltd</td>
<td width=”15%”></td>
<td width=”15%”></td>
</tr>
<tr>
<td><span style=”color: #999999;”>14:35</span></td>
<td><a href=”/verification-futures/vf2018/processor-intrusion-detection/”>Processor Intrusion Detection</a>
Mark Zwolinski, University of Southampton</td>
<td width=”15%”> <a href=”/wp-content/uploads/2022/10/Mark_Zwolinski-University_of_Southampton.pdf”>Download</a></td>
<td width=”15%”> <em> <a href=”https://youtu.be/-83tu058Ijc” target=”_blank” rel=”noopener”>View</a></em></td>
</tr>
<tr>
<td><span style=”color: #999999;”>14:55</span></td>
<td><a href=”/verification-futures/vf2018/cyber-security-in-the-v2x-communications/”>Cyber Security in the V2X Communications</a>
Gunwant Dhadyalla, Principal Engineer, Cyber Security Centre – University of Warwick</td>
<td width=”15%”> <a href=”/wp-content/uploads/2022/10/Gunwant_Dhadyalla-University_of_Warwick_WMG.pdf”>Download</a></td>
<td width=”15%”> <em> <a href=”https://youtu.be/xJ3vnE9gzCY” target=”_blank” rel=”noopener”>View</a></em></td>
</tr>
<tr>
<td></td>
<td style=”background-color: #ffffff;”>Track 2B: <strong>Hardware Verification</strong></td>
</tr>
<tr>
<td><span style=”color: #999999;”>14:15</span></td>
<td><a href=”/verification-futures/vf2018/merging-ranking-and-metrics-reporting-unified-regression-reporting-flow-using-ranking/”>Merging, Ranking and Metrics Reporting – Unified Regression Reporting Flow Using Ranking</a>
Mark Daniel, Infineon Technologies</td>
<td width=”15%”> <a href=”/wp-content/uploads/2022/10/Mark_Daniel-Infineon-1.pdf”>Download</a></td>
<td width=”15%”> <em> <a href=”https://youtu.be/jVvoXaW6kWw” target=”_blank” rel=”noopener”>View</a></em></td>
</tr>
<tr>
<td><span style=”color: #999999;”>14:35</span></td>
<td><a href=”/verification-futures/vf2018/applying-the-theory-of-marginal-gains-to-boost-verification-effectiveness/”>Applying the Theory of Marginal Gains to Boost Verification Effectiveness</a>
Chris Brown, Arm</td>
<td width=”15%”> <a href=”/wp-content/uploads/2022/10/Chris_Brown-ARM.pdf”>Download</a></td>
<td width=”15%”> <em> <a href=”https://youtu.be/P-UQRFpoF4I” target=”_blank” rel=”noopener”>View</a></em></td>
</tr>
<tr>
<td><span style=”color: #999999;”>14:55</span></td>
<td><a href=”/verification-futures/vf2018/python-for-verification/”>Python for Verification!</a>
Donald McCarthy, Infineon Technologies</td>
<td width=”15%”> <a href=”/wp-content/uploads/2022/10/Donald_McCarthy-Infineon.pdf”>Download</a></td>
<td width=”15%”> <em> <a href=”https://youtu.be/ejTZPINc1rI” target=”_blank” rel=”noopener”>View</a></em></td>
</tr>
<tr>
<td></td>
<td style=”background-color: #ffffff;”>Track 3B: <strong>Software Formal Verification</strong> (Afternoon Sessions)</td>
</tr>
<tr>
<td><span style=”color: #999999;”>14:15</span></td>
<td><a title=”Abstracts will be published shortly” href=”/verification-futures/vf2018/development-and-formal-verification-of-secure-updates-for-embedded-systems/”>Development and Formal Verification of Secure Updates for Embedded Systems</a>
Roderick Chapman, Protean Code Ltd</td>
<td width=”15%”> <a href=”/wp-content/uploads/2022/10/Roderick_Chapman-Protean_Code_Ltd.pdf”>Download</a></td>
<td width=”15%”> <em> <a href=”https://youtu.be/nDqcFakufeA” target=”_blank” rel=”noopener”>View</a></em></td>
</tr>
<tr>
<td><span style=”color: #999999;”>14:35</span></td>
<td><a title=”Abstracts will be published shortly” href=”/verification-futures/vf2018/higher-assurance-blockchains-functional-and-performance-verification-in-the-software-design-process/”>High(er) Assurance Blockchains: Functional and Performance Verification in the Software Design Process</a>
Neil Davies, Chief Scientist, Predictable Network Solutions Ltd</td>
<td width=”15%”> <a href=”/wp-content/uploads/2022/10/Neil_Davies-Predictable_Network_Solutions.pdf”>Download</a></td>
<td width=”15%”> <em> <a href=”https://youtu.be/OxE9CYFC-BM” target=”_blank” rel=”noopener”>View</a></em></td>
</tr>
<tr>
<td><span style=”color: #999999;”>14:55</span></td>
<td><a href=”/verification-futures/vf2018/automatic-formal-verification/”>Automatic Formal Verification</a>
Nick Tudor, D-RisQ Ltd</td>
<td width=”15%”> <a href=”/wp-content/uploads/2022/10/Nick_Tudor-D-RisQ_v2.pdf”>Download</a></td>
<td width=”15%”> <em> <a href=”https://youtu.be/pRLoZhJuH6Y” target=”_blank” rel=”noopener”>View</a></em></td>
</tr>
<tr style=”background-color: #f8f8f8;”>
<td>15:15</td>
<td>Refreshments, Networking & Meet the Sponsors</td>
</tr>
<tr>
<td style=”vertical-align: top; background-color: #000154;”></td>
<td style=”background-color: #000154;”><span style=”color: #ffffff;”>Single Track Plenary Sessions</span></td>
</tr>
<tr style=”background-color: #ffffff;”>
<td>15:45</td>
<td><a href=”/verification-futures/vf2018/verification-productivity-with-portable-stimulus/”>Verification Productivity with Portable Stimulus</a>
Nigel Elliot, Technical Director, Mentor Europe Digital Design & Verification</td>
<td width=”15%”> <a href=”/wp-content/uploads/2022/10/Nigel_Elliot-Mentor_Graphics_v2.pdf”>Download</a></td>
<td width=”15%”> <em> <a href=”https://youtu.be/KE3s5OAyEGI” target=”_blank” rel=”noopener”>View</a></em></td>
</tr>
<tr style=”background-color: #ffffff;”>
<td>16:00</td>
<td><a href=”/verification-futures/vf2018/onespin-solutions/”>Challenges Call for Innovation: A Recipe for Success and a Taste of Formal Solutions</a>
Sergio Marchese, Technical Marketing Manager, OneSpin Solutions</td>
<td width=”15%”> <a href=”/wp-content/uploads/2022/10/Sergio_Marchese-OneSpin_Solutions_v2.pdf”>Download</a></td>
<td width=”15%”> <em> <a href=”https://youtu.be/KS_MKuYaSlA” target=”_blank” rel=”noopener”>View</a></em></td>
</tr>
<tr style=”background-color: #ffffff;”>
<td>16:15</td>
<td><a href=”/verification-futures/vf2018/practical-applications-of-portable-stimulus/”>Practical Applications of Portable Stimulus</a>
David Kelf, CMO, Breker Verification Systems</td>
<td width=”15%”> <a href=”/wp-content/uploads/2022/10/Dave_Kelf-Breker.pdf”>Download</a></td>
<td width=”15%”> <em> <a href=”https://youtu.be/hsvjnO6_le4″ target=”_blank” rel=”noopener”>View</a></em></td>
</tr>
<tr style=”background-color: #ffffff;”>
<td>16:30</td>
<td>Panel Discussion
</td>
<td width=”15%”></td>
<td width=”15%”> <em> <a href=”https://youtu.be/1KuhQwm_Weo” target=”_blank” rel=”noopener”>View</a></em></td>
</tr>
<tr style=”background-color: #f8f8f8;”>
<td>16:45</td>
<td>Event Closes</td>
</tr>
</tbody>
</table>
<h2>Sponsors</h2>
VF2018 was made possible through the generosity of the following sponsors.
<h2>Call for Submissions – Now Closed</h2>
The Call for Submissions closed on: Friday 23rd February, 2018. Thanks to everyone who submitted a proposal. Please <a title=”VF2018 Europe (UK)” href=”mailto:vfutures@tessolve.com?subject=VF2018 Europe (UK)”>Contact Us</a> if you would like to propose a talk for 2019.
The visual presentation of https://sg-australia.com/ immediately conveys professionalism and a contemporary feel. Players have the possibility to compete with each other in direct duels. Cryptocurrencies such as Bitcoin, Ethereum and Litecoin can also be used for transactions. VIP live tables offer higher stake limits and exclusive conditions. The most important new releases are prominently featured on the homepage. Mystery boxes with surprising rewards are regularly integrated into the offering. The mobile cashier is just as clear and orderly as the desktop version. Multilingual support ensures an internationally accessible gaming experience. The platform publishes annual transparency reports about its payout rates. The high finish quality speaks for sustainable investment in the overall project.
