Model checking technology and tool development based on Groebner base

From MaRDI portal

Revision as of 17:15, 4 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:3401771

Jump to:navigation, search

DOI10.3724/SP.J.1087.2009.02841zbMath1187.68315OpenAlexW1981324147MaRDI QIDQ3401771

Jinzhao Wu, Zi-Hua Liao, Hongyan Tan

Publication date: 1 February 2010

Published in: Journal of Computer Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3724/sp.j.1087.2009.02841

zbMATH Keywords

fixed points polynomial ring symbolic model checking Groebner bases model checker

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

This page was built for publication: Model checking technology and tool development based on Groebner base

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3401771&oldid=16682347"