| Document Date: 2005-11-29 05:50:59 Open Document File Size: 211,33 KBShare 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 |