Search Sciweavers | Sciweavers

4036 search results - page 113 / 808

» Formal Methods

104

Voted

CAV
2004
Springer

97views Hardware» more CAV 2004»

Zing: A Model Checker for Concurrent Software

15 years 10 months ago

Download research.microsoft.com

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

claim paper

Read More »

click to vote

FMCAD
2004
Springer

112views Formal Methods» more FMCAD 2004»

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

15 years 10 months ago

Download www.fi.muni.cz

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

claim paper

Read More »

114

Voted

FMCO
2004
Springer

102views Formal Methods» more FMCO 2004»

A Fully Abstract Semantics for UML Components

15 years 10 months ago

Download www.liacs.nl

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

claim paper

Read More »

126

Voted

IFM
2004
Springer

74views Formal Methods» more IFM 2004»

An Optimal Approach to Hardware/Software Partitioning for Synchronous Model

15 years 10 months ago

Download www.iist.unu.edu

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

claim paper

Read More »

click to vote

ISOLA
2004
Springer

84views Formal Methods» more ISOLA 2004»

Model Checker Aided Design of a Controller for a Wafer Scanner

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers