Search Sciweavers | Sciweavers

21430 search results - page 47 / 4286

» Abstract Effective Models

124

click to vote

CAV
1999
Springer

108views Hardware» more CAV 1999»

Abstract and Model Check While You Prove

15 years 10 months ago

Download www.csl.sri.com

Hassen Saïdi, Natarajan Shankar

claim paper

Read More »

154

click to vote

FSTTCS
1999
Springer

98views Software Engineering» more FSTTCS 1999»

Model Checking Knowledge and Time in Systems with Perfect Recall (Extended Abstract)

15 years 10 months ago

Download www.iis.nsk.su

Ron van der Meyden, Nikolay V. Shilov

claim paper

Read More »

131

click to vote

CODES
1998
IEEE

80views Software Engineering» more CODES 1998»

Fast dynamic analysis of complex HW/SW-systems based on abstract state machine models

15 years 10 months ago

Download www.eecs.umich.edu

Giuseppe Del Castillo, Wolfram Hardt

claim paper

Read More »

124

click to vote

SPIN
1999
Springer

108views Theoretical Computer Science» more SPIN 1999»

A Framework for Automatic Construction of Abstract Promela Models

15 years 10 months ago

Download spinroot.com

María-del-Mar Gallardo, Pedro Merino

claim paper

Read More »

114

click to vote

TIME
1998
IEEE

77views Automated Reasoning» more TIME 1998»

Model-Based Visualization of Temporal Abstractions

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers