Distributed lyapunov functions in analysis of graph models of software

Distributed lyapunov functions in analysis of graph models of software

In previous works, the authors introduced a framework for software analysis, which is based on optimization of Lyapunov invariants. These invariants prove critical software properties such as absence of overflow and termination in finite time. In this paper, graph models of software are introduced a...

Full description

Bibliographic Details
Main Authors: Roozbehani, Mardavij (Contributor), Megretski, Alexandre (Contributor), Frazzoli, Emilio (Contributor), Feron, Eric (Author)
Other Authors: Massachusetts Institute of Technology. Department of Electrical Engineering and Computer Science (Contributor), Massachusetts Institute of Technology. Laboratory for Information and Decision Systems (Contributor)
Format: Article
Language:English
Published: Spring Berlin/Heidelberg, 2011-11-10T15:56:00Z.
Subjects:
Article
Online Access:Get fulltext

Internet

Get fulltext

Similar Items