Search Sciweavers | Sciweavers

4036 search results - page 113 / 808

» Formal Methods

125

click to vote

CAV
2004
Springer

97views Hardware» more CAV 2004»

Zing: A Model Checker for Concurrent Software

16 years 3 days ago

Download research.microsoft.com

Tony Andrews, Shaz Qadeer, Sriram K. Rajamani, Jak...

claim paper

Read More »

110

click to vote

FMCAD
2004
Springer

112views Formal Methods» more FMCAD 2004»

Accepting Predecessors Are Better than Back Edges in Distributed LTL Model-Checking

16 years 3 days ago

Download www.fi.muni.cz

Lubos Brim, Ivana Cerná, Pavel Moravec 0002...

claim paper

Read More »

138

click to vote

FMCO
2004
Springer

102views Formal Methods» more FMCO 2004»

A Fully Abstract Semantics for UML Components

16 years 3 days ago

Download www.liacs.nl

Frank S. de Boer, Marcello M. Bonsangue, Martin St...

claim paper

Read More »

149

click to vote

IFM
2004
Springer

74views Formal Methods» more IFM 2004»

An Optimal Approach to Hardware/Software Partitioning for Synchronous Model

16 years 2 days ago

Download www.iist.unu.edu

Geguang Pu, Dang Van Hung, Jifeng He, Wang Yi

claim paper

Read More »

109

click to vote

ISOLA
2004
Springer

84views Formal Methods» more ISOLA 2004»

Model Checker Aided Design of a Controller for a Wafer Scanner

16 years 2 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers