Speaker Deck

TMPA-2015: The Verification of Functional Programs by Applying Statechart Diagrams Construction Method

by Exactpro

Published December 1, 2015 in Science

The Verification of Functional Programs by Applying Statechart Diagrams Construction Method
Andrew Mironov, IPI, Moscow

12 - 14 November 2015
Tools and Methods of Program Analysis in St. Petersburg