Publication | Closed Access

Frontier between decidability and undecidability: a survey

Decision ProcedureEngineeringAutomated ReasoningVerificationComputational Model TheoryFormal MethodsComputer ScienceFormal VerificationData SecurityCryptographyComputability Theory