Search Sciweavers | Sciweavers

322 search results - page 13 / 65

» Symbolic model checking of institutions

click to vote

ICSE
1999
IEEE-ACM

96views Software Engineering» more ICSE 1999»

Decoupling Synchronization from Local Control for Efficient Symbolic Model Checking of Statecharts

15 years 4 months ago

Download www.cs.washington.edu

William Chan, Richard J. Anderson, Paul Beame, Dav...

claim paper

Read More »

click to vote

TACAS
1999
Springer

95views Algorithms» more TACAS 1999»

Symbolic Model Checking without BDDs

15 years 4 months ago

Download www.cs.cmu.edu

Armin Biere, Alessandro Cimatti, Edmund M. Clarke,...

claim paper

Read More »

click to vote

CAV
1998
Springer

84views Hardware» more CAV 1998»

From Pre-historic to Post-modern Symbolic Model Checking

15 years 4 months ago

Download www.cs.huji.ac.il

Thomas A. Henzinger, Orna Kupferman, Shaz Qadeer

claim paper

Read More »

click to vote

ICALP
1997
Springer

110views Programming Languages» more ICALP 1997»

Symbolic Model Checking for Probabilistic Processes

15 years 3 months ago

Download www.cs.cmu.edu

Christel Baier, Edmund M. Clarke, Vassili Hartonas...

claim paper

Read More »

Voted

RTSS
1993
IEEE

128views Control Systems» more RTSS 1993»

Symbolic Model Checking for Event-Driven Real-Time Systems

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers