Using 3-valued memory representation for state space reduction in embedded assembly code model checking.

Thomas Reinbacher, Martin Horauer, Bastian Schlich

Browse the full DDECS paper archive.