Back to Results
First PageMeta Content
Logic in computer science / Theoretical computer science / Usability / Verification / Software development process / Computer science / Technology / Formal methods / Science / Formal verification


Garakabu2: A Formal Verification Tool for ZIPC Weiqiang Kong, Kyushu University, Japan [Jointly developed by] Fukuoka IST & CATS Co. Ltd. & Kyushu University of Japan
Add to Reading List

Document Date: 2013-06-18 10:17:21

Open Document

File Size: 644,26 KB

Share Result on Facebook

City

The SMT / /

Company

Japan [Jointly developed by] Fukuoka IST & CATS Co. Ltd. / /

Facility

Kyushu University / Kyushu University of Japan / /

IndustryTerm

formal verification tool / model-based development tool / software engineers / /

Organization

AIST of Japan / Kyushu University / /

Technology

simulation / /

SocialTag