Solving Invariant Generation for Unsolvable Loops
Daneshvar Amrollahi, Ezio Bartocci, George Kenison, Laura Kovács, Marcel Moosbrugger, Miroslav Stankovič
Topics & Concepts
Undecidable problemComputer scienceInvariant (physics)CompilerProbabilistic logicTheoretical computer scienceKey (lock)PolynomialClass (philosophy)Algebra over a fieldAlgorithmDecidabilityProgramming languageArtificial intelligenceMathematicsPure mathematicsMathematical physicsComputer securityMathematical analysisLogic, programming, and type systemsFormal Methods in VerificationParallel Computing and Optimization Techniques