Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

8

TACAS
2005
Springer

favoriteEmaildiscussreport

89views Algorithms» more TACAS 2005»

BISIMULATOR: A Modular Tool for On-the-Fly Equivalence Checking

13 years 10 months ago

BISIMULATOR: A Modular Tool for On-the-Fly Equivalence Checking

Download ftp.inrialpes.fr

Damien Bergamini, Nicolas Descoubes, Christophe Jo

Real-time Traffic

Algorithms | TACAS 2005 |

claim paper

Related Content

» Automating Formal Modular Verification of Asynchronous RealTime Embedded Systems

» Automatic Verification of Safety and Liveness for XScaleLike Processor Models Using WEB Re...

» Alternative Characterizations for Program Equivalence under AnswerSet Semantics Preliminar...

» Alternative Characterizations for Program Equivalence under AnswerSet Semantics Based on U...

» ModelChecking TRIO Specifications in SPIN

» QB or Not QB An Efficient Execution Verification Tool for Memory Orderings

» Lineup a complete and automatic linearizability checker

Post Info
More Details (n/a)

Added	28 Jun 2010
Updated	28 Jun 2010
Type	Conference
Year	2005
Where	TACAS
Authors	Damien Bergamini, Nicolas Descoubes, Christophe Joubert, Radu Mateescu

Comments (0)