Search Sciweavers | Sciweavers

11168 search results - page 24 / 2234

» Abstract State Processes

121

Voted

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

Download www.eecs.umich.edu

Giuseppe Del Castillo

claim paper

Read More »

Voted

KBSE
1997
IEEE

68views Software Engineering» more KBSE 1997»

A Metric-based Approach to Detect Abstract Data Types and State Encapsulations

15 years 8 months ago

Download www.sdml.info

Jean-Francois Girard, Rainer Koschke, Georg Schied

claim paper

Read More »

click to vote

CAV
1997
Springer

103views Hardware» more CAV 1997»

Construction of Abstract State Graphs with PVS

15 years 8 months ago

Download www.cs.ucla.edu

Susanne Graf, Hassen Saïdi

claim paper

Read More »

click to vote

ICCD
1996
IEEE

116views Hardware» more ICCD 1996»

Behavioral Verification of an ATM Switch Fabric using Implicit Abstract State Enumeration

15 years 8 months ago

Download users.encs.concordia.ca

Michel Langevin, Sofiène Tahar, Zijian Zhou...

claim paper

Read More »

106

Voted

ATVA
2006
Springer

87views Hardware» more ATVA 2006»

Timed Temporal Logics for Abstracting Transient States

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers