Shinji Kikuchi

Learn More
We present a tool-supported framework for the efficient reverification of component-based software systems after changes such as additions, removals or modifications of components. The incremental verification engine at the core of our INcremental VErification STrategy (INVEST) framework uses high-level algebraic representations of component-based systems(More)
—Network services based on distributed components, which provide advanced network services with lower cost by assigning and reusing useful components running on remote nodes, are attracting increasing attention. In this service, when a component fails, a component that has the same function running on another node can be substituted for it. On the other(More)