Search Sciweavers | Sciweavers

108 search results - page 3 / 22

» forte 2007

Voted

FORTE
2007

58views Formal Methods» more FORTE 2007»

State Isomorphism in Model Programs with Abstract Data Structures

15 years 5 months ago

Download research.microsoft.com

Margus Veanes, Juhan P. Ernits, Colin Campbell

claim paper

Read More »

Voted

FORTE
2007

100views Formal Methods» more FORTE 2007»

Improvements for the Symbolic Verification of Timed Automata

15 years 5 months ago

Download www-verimag.imag.fr

Rongjie Yan, Guangyuan Li, Wenliang Zhang, Yunquan...

claim paper

Read More »

102

Voted

FORTE
2007

127views Formal Methods» more FORTE 2007»

Testing Distributed Systems Through Symbolic Model Checking

15 years 5 months ago

Download www.ulb.ac.be

Gabriel Kalyon, Thierry Massart, Cédric Meu...

claim paper

Read More »

Voted

FORTE
2004

87views Formal Methods» more FORTE 2004»

A Symbolic Symbolic State Space Representation

15 years 5 months ago

Download fabrice.kordon.free.fr

Yann Thierry-Mieg, Jean-Michel Ilié, Denis ...

claim paper

Read More »

105

click to vote

FORTE
2003

104views Formal Methods» more FORTE 2003»

Towards an Efficient Performance Evaluation of Communication Systems Described by Message Sequence Charts

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers