Symbolic Execution for Precise Information Flow Analysis of Timed Concurrent Systems.

Jonas Becker-Kupczok, Paula Herber

Browse the full SEFM paper archive.