Can Flash Memory Help in Model Checking?

Jiri Barnat, Lubos Brim, Stefan Edelkamp, Damian Sulewski, Pavel Simecek

Browse the full FMICS paper archive.