Sciweavers

ASM
2005
ASM

Scenario based Analysis of Linear Computations

13 years 9 months ago
Scenario based Analysis of Linear Computations
Abstract. In this paper we consider the following task: given an abstract state machine, characterize the subsets of initial values corresponding to different typical scenarios of the system behavior. In order to solve it we suggest formalization of the notion of scenario and then discuss possible approaches to the classification of the computations.
Vladimir Filatov, Rostislav Yavorskiy
Added 26 Jun 2010
Updated 26 Jun 2010
Type Conference
Year 2005
Where ASM
Authors Vladimir Filatov, Rostislav Yavorskiy
Comments (0)