Showing 2017Show all
2 papers · 1 filter
cs.PL2017
Higher-Order Program Verification via HFL Model Checking
Naoki Kobayashi, Takeshi Tsukada, Keiichi Watanabe
There are two kinds of higher-order extensions of model checking: HORS model checking and HFL model checking. Whilst the former has been applied to automated verification of higher…
math.AP2017
Compressible-incompressible two-phase flows with phase transition: model problem
Keiichi Watanabe
We study the compressible and incompressible two-phase flows separated by a sharp interface with a phase transition and a surface tension. In particular, we consider the problem in…