Search Sciweavers | Sciweavers

1633 search results - page 29 / 327

» On the Verification of Temporal Properties

click to vote

HASE
2007
IEEE

83views Control Systems» more HASE 2007»

Sustaining Property Verification of Synchronous Dependable Protocols Over Implementation

14 years 1 months ago

Download www.deeds.informatik.tu-darmstadt.de

Péter Bokor, Marco Serafini, Áron Si...

claim paper

Read More »

click to vote

ICFEM
2003
Springer

67views Software Engineering» more ICFEM 2003»

Verification of Timeliness QoS Properties in Multimedia Systems

14 years 23 days ago

Download www.cs.bham.ac.uk

Behzad Bordbar, Kozo Okano

claim paper

Read More »

click to vote

IFIP
2009
Springer

92views Programming Languages» more IFIP 2009»

Comparison of Cryptographic Verification Tools Dealing with Algebraic Properties

14 years 4 days ago

Download www-verimag.imag.fr

Pascal Lafourcade, Vanessa Terrade, Sylvain Vigier

claim paper

Read More »

click to vote

ASYNC
2000
IEEE

94views Hardware» more ASYNC 2000»

Formal Verification of Safety Properties in Timed Circuits

13 years 12 months ago

Download personals.ac.upc.edu

Marco A. Peña, Jordi Cortadella, Enric Past...

claim paper

Read More »

click to vote

CAV
1993
Springer

299views Hardware» more CAV 1993»

Verification of timing Properties of VHDL

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers