Sciweavers

4036 search results - page 14 / 808

» Formal Methods

87

Voted

FM
1998
Springer

198views Formal Methods» more FM 1998»

Automated Test Set Generation for Statecharts

15 years 6 months ago

Automated Test Set Generation for Statecharts

Download www.csie.ntut.edu.tw

Kirill Bogdanov, Mike Holcombe, Harbhajan Singh

claim paper

Read More »

96

FM
1998
Springer

155views Formal Methods» more FM 1998»

Towards Comprehensive Tool Support for Abstract State Machines: The ASM Workbench Tool Environment and Architecture

15 years 6 months ago

Towards Comprehensive Tool Support for Abstract State Machines: The ASM Workbench Tool Environment and Architecture

Download www.eecs.umich.edu

Giuseppe Del Castillo

claim paper

Read More »

88

SAS
1998
Springer

84views Formal Methods» more SAS 1998»

Deriving Analysers by Folding/Unfolding of Natural Semantics and a Case Study: Slicing

15 years 6 months ago

Deriving Analysers by Folding/Unfolding of Natural Semantics and a Case Study: Slicing

Download hal.archives-ouvertes.fr

Valérie Gouranton

claim paper

Read More »

83

SAS
1998
Springer

65views Formal Methods» more SAS 1998»

Program Analysis as Model Checking of Abstract Interpretations

15 years 6 months ago

Program Analysis as Model Checking of Abstract Interpretations

Download www.cs.ucla.edu

David A. Schmidt, Bernhard Steffen

claim paper

Read More »

108

SAS
1998
Springer

86views Formal Methods» more SAS 1998»

Enabling Sparse Constant Propagation of Array Elements via Array SSA Form

15 years 6 months ago

Enabling Sparse Constant Propagation of Array Elements via Array SSA Form

Download www.cs.rice.edu

Vivek Sarkar, Kathleen Knobe

claim paper

Read More »

« Prev « First page 14 / 808 Last » Next »