Explicit-state and symbolic model checking of nuclear I&C systems: A comparison.

Igor Buzhinsky, Antti Pakonen, Valeriy Vyatkin

Browse the full IECON paper archive.