Publication | Closed Access
A Model Generation Theorem Prover in KL1 Using a Ramified -Stack Algorithm.
50
Citations
0
References
1991
Year
EngineeringRamified -Stack AlgorithmAutomated ReasoningVerificationComputational Model TheoryFormal MethodsComputer-aided VerificationAutomated ProofComputer ScienceModel CheckingFinite Model TheoryFormal Verification
No additional data available for this publication yet. Check back later!