Search Sciweavers | Sciweavers

2488 search results - page 42 / 498

» An improvement in formal verification

click to vote

ICFEM
2009
Springer

114views Software Engineering» more ICFEM 2009»

European Train Control System: A Case Study in Formal Verification

15 years 7 months ago

Download www.avacs.org

André Platzer, Jan-David Quesel

claim paper

Read More »

Voted

PVM
2009
Springer

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

Practical Formal Verification of MPI and Thread Programs

15 years 7 months ago

Download www.cs.utah.edu

Ganesh Gopalakrishnan, Robert M. Kirby

claim paper

Read More »

Voted

ASPDAC
2009
ACM

115views Hardware» more ASPDAC 2009»

Automatic formal verification of clock domain crossing signals

15 years 7 months ago

Download www.aspdac.com

Bing Li, Chris Ka-Kei Kwok

claim paper

Read More »

Voted

ICC
2008
IEEE

110views Communications» more ICC 2008»

Formal Verification of Firewall Policies

15 years 7 months ago

Download www.cse.msu.edu

Alex X. Liu

claim paper

Read More »

104

click to vote

ARITH
2007
IEEE

113views Applied Computing» more ARITH 2007»

Formal Verification of Floating-Point Programs

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers