Search Sciweavers | Sciweavers

1116 search results - page 6 / 224

» Applying Predicate Abstraction to Abstract State Machines

139

click to vote

ASM
1998
ASM

92views Computational Biology» more ASM 1998»

A Sound and Complete SOS-Semantics for Non-Distributed Deterministic Abstract State Machines

15 years 11 months ago

Download www.eecs.umich.edu

Hans Tonino

claim paper

Read More »

156

click to vote

FDL
2004
IEEE

144views Natural Language Processing» more FDL 2004»

Enabling SystemC Verification using Abstract State Machines

15 years 11 months ago

Download hvg.ece.concordia.ca

Amjad Gawanmeh, Ali Habibi, Sofiène Tahar

claim paper

Read More »

144

Voted

FORMATS
2006
Springer

98views Formal Methods» more FORMATS 2006»

Simulator for Real-Time Abstract State Machines

15 years 11 months ago

Download www.math.spbu.ru

Pavel Vasilyev

claim paper

Read More »

171

click to vote

CALCO
2007
Springer

98views Mathematics» more CALCO 2007»

A Semantic Characterization of Unbounded-Nondeterministic Abstract State Machines

15 years 9 months ago

Download www2.informatik.hu-berlin.de

Andreas Glausch, Wolfgang Reisig

claim paper

Read More »

125

Voted

DAGSTUHL
2007

95views Software Engineering» more DAGSTUHL 2007»

Composing Web-service-like abstract state machines (ASM)

15 years 9 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers