Art
J-GLOBAL ID：201902209640040845   Reference number：19S0452414

An improvement of quasi-weakest precondition inference using fast MCS enumeration

  • Publisher site Copy service
  • Access JDreamⅢ for advanced search and analysis.
Author (3)：
Imai, Takeo

About Imai, Takeo

(Toshiba Corporation, University of Tokyo)

About Toshiba Corporation, University of Tokyo

, 
Sakai, Masahiro

About Sakai, Masahiro

(Toshiba Corporation)

About Toshiba Corporation

, 
Hagiya, Masami

About Hagiya, Masami

(University of Tokyo)

About University of Tokyo


Material：
Computer Software

About Computer Software


Volume： 32  Issue： 4  Page： 161-175  Publication year： 2015 
JST Material Number： SCOPUS  ISSN： 0289-6540 
Country of issue： Japan (JPN)  Language： Japanese (JA)
Terms in the title (2)：
Terms in the title
Keywords automatically extracted from the title.
FAST

About FAST

, 
MCS

About MCS


Return to Previous Page

TOP

BOTTOM