Publication | Closed Access
Symbolic state space reduction with guarded terms for rewriting modulo SMT
19
Citations
19
References
2019
Year
Symbolic ManipulationEngineeringGuarded TermsRegulated RewritingModulo SmtFormal MethodsComputer AlgebraComputer ScienceFinite-state SystemFormal VerificationSymbolic Computation
| Year | Citations | |
|---|---|---|
Page 1
Page 1