SmacC: A Retargetable Symbolic Execution Engine ∗ Armin Biere1 , Jens Knoop2 , Laura Kov´acs3 , and Jakob Zwirchmayr2 1 JKU Linz, 2 TU Vienna, 3 Chalmers University of Technology - University of Vienna - Document - PDFSEARCH.IO

First Page	Meta Content
	SmacC: A Retargetable Symbolic Execution Engine ∗ Armin Biere1 , Jens Knoop2 , Laura Kov´acs3 , and Jakob Zwirchmayr2 1 JKU Linz, 2 TU Vienna, 3 Chalmers University of Technology Add to Reading List Document Date: 2013-12-12 08:42:01 Open Document File Size: 214,98 KB Share Result on Facebook City Redwood City / / Country Austria / / Facility Chalmers University of Technology Abstract / / Organization Chalmers University of Technology Abstract / / Person Laura Kov / David Hanson / Christopher Fraser / / ProgrammingLanguage ANSI C / C / / TVStation WCET / / Technology ANSI C / caching / / URL http / SocialTag Computer programming Formal methods Satisfiability Modulo Theories Worst-case execution time Symbolic execution Model checking KeY Stack Infinite loop Theoretical computer science

SmacC: A Retargetable Symbolic Execution Engine ∗ Armin Biere1 , Jens Knoop2 , Laura Kov´acs3 , and Jakob Zwirchmayr2 1 JKU Linz, 2 TU Vienna, 3 Chalmers University of TechnologyAdd to Reading List