2000 character limit reached
Automatic Verification of LLVM Code (2006.02670v1)
Published 4 Jun 2020 in cs.PL and cs.SE
Abstract: In this work we present our work in developing a software verification tool for llvm-code - Lodin - that incorporates both explicit-state model checking, statistical model checking and symbolic state model checking algorithms.
Sponsor
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.