tlooto
Sign up
Open AccessComputer ScienceEngineeringMathematics

PHAVer: algorithmic verification of hybrid systems past HyTech

Goran Frehse

2005.3.9International Journal on Software Tools for Technology Transfer

DOI: 10.1007/s10009-007-0062-x

tlooto Summary

This work addresses the main problems of HyTech with PHAVer, a new tool for the exact verification of safety properties of hybrid systems with piecewise constant bounds on the derivatives, so-called linear hybrid automata.

Abstract

Abstract is not available.

Citation format

FREHSE, Goran. Phaver: Algorithmic verification of hybrid systems past hytech. International Journal on Software Tools for Technology Transfer, 2005, 10: 263–279.