Back to Results
First PageMeta Content
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


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 Katz
Add to Reading List

Document Date: 2005-11-29 05:50:59

Open Document

File Size: 211,33 KB

Share Result on Facebook

/

IndustryTerm

state transition systems / asynchronous systems / software verification tool / asynchronous tool / verification tools / formal methods tools / hierarchical graphical state-transformation software / educational tool / cross product / individual verification tools / formal verification tools / theorem-proving tools / model-checking tools / model-checking tool / suitable solutions / mutual exclusion algorithm / software verification / cross products / verification tool / encourage using different verification tools / finding suitable solutions / /

Organization

Technion / Organization of the Paper In Section / /

Person

Abstract / Shmuel Katz / Orna Grumberg / /

Position

editor / Model / /

ProgrammingLanguage

Ada / R / C / XML / Java / Verilog / /

Technology

XML / mutual exclusion algorithm / Verilog / Java / VHDL / /

SocialTag