Sciweavers

1107 search results - page 2 / 222
» XAIRA : software for language analysis
Sort
View
SCOPES
2004
Springer
13 years 10 months ago
Fast Points-to Analysis for Languages with Structured Types
Michael Jung, Sorin A. Huss
IFIP
2004
Springer
13 years 10 months ago
Software Rejuvenation - Modeling and Analysis
Kishor S. Trivedi, Kalyanaraman Vaidyanathan
SFM
2004
Springer
13 years 10 months ago
Embedded Software Analysis with MOTOR
This paper surveys the language Modest, a Modelling and Description language for Stochastic and Timed systems, and its accompanying tool-environment MOTOR. The language and tool ar...
Joost-Pieter Katoen, Henrik C. Bohnenkamp, Ric Kla...