Search Sciweavers | Sciweavers

2488 search results - page 42 / 498

» An improvement in formal verification

141

click to vote

ICFEM
2009
Springer

114views Software Engineering» more ICFEM 2009»

European Train Control System: A Case Study in Formal Verification

16 years 20 days ago

Download www.avacs.org

André Platzer, Jan-David Quesel

claim paper

Read More »

129

click to vote

PVM
2009
Springer

97views Distributed And Parallel Com...» more PVM 2009»

Practical Formal Verification of MPI and Thread Programs

16 years 20 days ago

Download www.cs.utah.edu

Ganesh Gopalakrishnan, Robert M. Kirby

claim paper

Read More »

109

click to vote

ASPDAC
2009
ACM

115views Hardware» more ASPDAC 2009»

Automatic formal verification of clock domain crossing signals

16 years 19 days ago

Download www.aspdac.com

Bing Li, Chris Ka-Kei Kwok

claim paper

Read More »

click to vote

ICC
2008
IEEE

110views Communications» more ICC 2008»

Formal Verification of Firewall Policies

16 years 17 days ago

Download www.cse.msu.edu

Alex X. Liu

claim paper

Read More »

162

click to vote

ARITH
2007
IEEE

113views Applied Computing» more ARITH 2007»

Formal Verification of Floating-Point Programs

16 years 14 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers