Sciweavers

2488 search results - page 45 / 498
» An improvement in formal verification
Sort
View
FASE
2001
Springer
15 years 10 months ago
A Formal Object-Oriented Analysis for Software Reliability: Design for Verification
Natasha Sharygina, James C. Browne, Robert P. Kurs...
ASYNC
2000
IEEE
94views Hardware» more  ASYNC 2000»
15 years 10 months ago
Formal Verification of Safety Properties in Timed Circuits
Marco A. Peña, Jordi Cortadella, Enric Past...