Sciweavers

9 search results - page 1 / 2
» fase 2003
Sort
View
FASE
2003
Springer
13 years 11 months ago
Monad-Independent Hoare Logic in HASCASL
Lutz Schröder, Till Mossakowski
FASE
2003
Springer
13 years 11 months ago
Model Checking Software via Abstraction of Loop Transitions
Natasha Sharygina, James C. Browne
FASE
2003
Springer
13 years 11 months ago
Detecting Implied Scenarios Analyzing Non-local Branching Choices
Scenarios are powerful tools to model and analyze software systems. However, since they do not provide a complete description of the system, but just some possible execution paths,...
Henry Muccini
FASE
2003
Springer
13 years 11 months ago
Integration of Formal Datatypes within State Diagrams
In this paper, we present a generic approach to integrate datatypes expressed using formal specification languages within state diagrams. Our main motivations are (i) to be able t...
Christian Attiogbé, Pascal Poizat, Gwen Sal...