✍ Scribed by Valérie Roy; Robert Simone
No coin nor oath required. For personal study only.
We describe the Auto and Autograph tools for verification and analysis of concurrent systems in their more recent developments. Auto is dedicated to a philosophy of verification by reduction, based on automata morphisms and quotients. Autograph provides a graphical layout on which to display both terms and informations on terms, back and forth to Auto. We stress the openness aspects of both systems and their interface formats to the outside world. We see this as a contribution to the ever growing collaborative trends between similar tools, mostly under the pressure of national or European Esprit projects.
📜 SIMILAR VOLUMES
### Amazon.com Review When Alex-Li Tandem is 12 years old, his father takes him and his friends Adam and Rubinfine to a wrestling match at the Albert Hall in London. By the end of the evening, the pivotal events of Alex-Li's youth have occurred: he has met Joseph Klein, a boy whose fascination with
### Amazon.com Review When Alex-Li Tandem is 12 years old, his father takes him and his friends Adam and Rubinfine to a wrestling match at the Albert Hall in London. By the end of the evening, the pivotal events of Alex-Li's youth have occurred: he has met Joseph Klein, a boy whose fascination with