Blog Systerel formal methods

In this article, we focus on the Tcl/Expect automation tool and more specifically on its Ada implementation through GNAT.Expect.

By using this tool, it is possible to easily control third-party applications through a mechanism of expected questions/answers (expect).

Our full article is available here (french).

If you are interested in this topic, do not hesitate to leave a comment!