Sciweavers

Share
GG
2010
Springer

A False History of True Concurrency: From Petri to Tools

11 years 10 months ago
A False History of True Concurrency: From Petri to Tools
I briefly review the history of the unfolding approach to model checking. Carl Adam Petri passed away on July 2, 2010. I learnt about his death three days later, a few hours after finishing this text. He was a very profound and highly original thinker, and will be sadly missed. This note is dedicated to his memory. In some papers and talks, Moshe Vardi has described the history of the automatatheoretic approach to model checking, the verification technique that inspired the SPIN model checker and other tools. He traces it back to the work of theoreticians like B
Javier Esparza
Added 07 Dec 2010
Updated 07 Dec 2010
Type Conference
Year 2010
Where GG
Authors Javier Esparza
Comments (0)
books