Automatic Verification of Safety Rules for a Subway Control Software
Under a Creative Commons license
open access
Keywords
Bounded model checking
safety requirements model checking
subway control software model checking
Cited by (0)
Copyright © 2005 Elsevier B.V.