0
Checker Model A was created in 1939.
Uppaal Model Checker was created in 1999.
TAPAAL Model Checker was created in 2008.
Romeo Model Checker was created in 2001.
Gerard J. Holzmann has written:
'The SPIN Model Checker'
'The early history of data networks' -- subject(s): Telegraph, History