![Electronic engineering / Formal methods / Predicate logic / Hardware description languages / Construction and Analysis of Distributed Processes / Formal verification / State transition system / Model checking / Petri net / Models of computation / Theoretical computer science / Concurrency Electronic engineering / Formal methods / Predicate logic / Hardware description languages / Construction and Analysis of Distributed Processes / Formal verification / State transition system / Model checking / Petri net / Models of computation / Theoretical computer science / Concurrency](https://www.pdfsearch.io/img/98cff499bcdaeee1783a65d11b5d63fa.jpg) Date: 2005-11-29 05:50:59Electronic engineering Formal methods Predicate logic Hardware description languages Construction and Analysis of Distributed Processes Formal verification State transition system Model checking Petri net Models of computation Theoretical computer science Concurrency | | Software Tools for Technology Transfer manuscript No. (will be inserted by the editor) VeriTech - A Framework for Translating among Model Description Notations Orna Grumberg and Shmuel KatzAdd to Reading ListSource URL: www.cs.technion.ac.ilDownload Document from Source Website File Size: 211,33 KBShare Document on Facebook
|