FM 1998 | Sciweavers

128

FM
1998
Springer

153views Formal Methods» more FM 1998»

VSE: Controlling the Complexity in Formal Software Developments

15 years 7 months ago

We give an overview of the enhanced VSE system which is a tool to formally specify and verify systems. It provides means for structuring speci cations and it supports the developme...

Dieter Hutter, Heiko Mantel, Georg Rock, Werner St...

claim paper

Read More »

109

click to vote

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 7 months ago

Download www.eecs.umich.edu

Giuseppe Del Castillo

claim paper

Read More »

96

click to vote

FM
1998
Springer

198views Formal Methods» more FM 1998»

Automated Test Set Generation for Statecharts

15 years 7 months ago

Download www.csie.ntut.edu.tw

Kirill Bogdanov, Mike Holcombe, Harbhajan Singh

claim paper

Read More »

178

click to vote

FM
1998
Springer

345views Formal Methods» more FM 1998»

Enriching the Software Development Process by Formal Methods

15 years 7 months ago

Download www4.informatik.tu-muenchen.de

Manfred Broy, Oscar Slotosch

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Sciweavers