Software Modeling with Alloy Workshop

Hillel Wayneis a formal methods educator and consultant. He is on the Alloy board and in charge of writing the newonline reference documentation. He is a certified EMT in Illinois.

<h2>Overview</h2><p></p><p>Most software ﬂaws come from one of two places. When the code doesn’t match our expectations, it could be that the code is wrong. Most software correctness techniques - types, tests, etc - are used to check the code. But it could instead be that the code is correct and our expectations are wrong: there’s a fundamental error in our model of the system. These bugs are the most difficult to find and the most expensive to fix. Our standard techniques cannot handle them.</p><p>The answer to this is software modeling, or &quot;formal methods&quot;. By writing out the design in a software modeling tool, we can directly test the design for bugs <em>without having to write any code first.</em> Modeling software leads to simpler, safer systems built more quickly and cheaply. </p><p>One such modeling tool is <a href="http://alloytools.org/" target="_blank" data-msys-clicktrack="0" rel="nofollow noopener noreferrer">Alloy</a>. Alloy can not only find complex design bugs, it can provide visualizations of problems and edge cases. This makes it well suited for collaborating with project managers and clients. Alloy has been successfully used for everything from modeling <a href="https://www.youtube.com/watch?v=FvNRlE4E9QQ" target="_blank" data-msys-clicktrack="0" rel="nofollow noopener noreferrer">security policies</a> to data schemas and business processes.</p><p>In this class you will learn the basics of Alloy from one of the foremost experts on teaching formal methods.  An additional pairing session is also available as an optional purchase.</p><h2>Structure</h2><p>Class will be one day of online instruction. We will cover</p><ul><li>Why model software</li><li>Using Alloy</li><li>Alloy Syntax</li><li>Expressing Properties</li><li>Writing good models</li></ul><p>Instruction is a mix of lecture, group labs, and individual and group exercises. Attendees should expect a high degree of student participation. I teach workshops so that students learn.</p><p>Note that the class is not comprehensive. Some aspects of Alloy will not be taught. This is a conscious choice to give students the strongest foundation possible.</p><h2>Audience</h2><p>Attendees should have some experience programming and some experience testing. While Alloy is powerful and accessible, it is aimed at experienced programmers. Some knowledge of predicate logic, such as ∀ and ∃, is helpful but not necessary.</p><h2>About the Instructor</h2><p><a href="https://www.hillelwayne.com" target="_blank" data-msys-clicktrack="0" rel="nofollow noopener noreferrer">Hillel Wayne</a> is a formal methods educator and consultant. He is on the Alloy board and in charge of writing the new <a href="http://alloy.readthedocs.io/" target="_blank" data-msys-clicktrack="0" rel="nofollow noopener noreferrer">online reference documentation</a>. He is a certified EMT in Illinois.</p>

Our {communityGuidelinesLink} describe the sort of content we prohibit on Eventbrite. If you suspect an event may be in violation, you can report it to us so we can investigate.

To report other categories of prohibited or illegal content, submit {link}

Software Modeling with Alloy Workshop

More events from this organizer

Follow organizers to get events picked for you

Still looking for the right event?

Explore all online events to browse and filter by date, category, and more.

Software Modeling with Alloy Workshop

More events from this organizer

Follow organizers to get events picked for you

You might also like...

Browse more events with different dates, prices, and formats to find your next great experience.

Still looking for the right event?

Explore all online events to browse and filter by date, category, and more.