Search Sciweavers | Sciweavers

247 search results - page 2 / 50

» Perspectives in Probabilistic Verification

117

click to vote

IANDC
2006

117views more IANDC 2006»

Statistical probabilistic model checking with a focus on time-bounded properties

14 years 11 months ago

Download www.cs.cmu.edu

Probabilistic verification of continuous-time stochastic processes has received increasing attention in the model-checking community in the past five years, with a clear focus on ...

Håkan L. S. Younes, Reid G. Simmons

claim paper

Read More »

Voted

SCP
2008

91views more SCP 2008»

Towards mechanized correctness proofs for cryptographic algorithms: Axiomatization of a probabilistic Hoare style logic

14 years 11 months ago

Download eprints.eemcs.utwente.nl

In [5] we build a formal verification technique for game based correctness proofs of cryptograhic algorithms based on a probabilistic Hoare style logic [10]. An important step towa...

Jerry den Hartog

claim paper

Read More »

click to vote

ENTCS
2006

128views more ENTCS 2006»

Web Verification: Perspective and Challenges

14 years 11 months ago

Download www.cs.brown.edu

The Web poses novel and interesting problems for both programming language design and verification--and their intersection. This paper provides a personal outline of one thread of...

Shriram Krishnamurthi

claim paper

Read More »

click to vote

VSTTE
2005
Springer

89views Software Engineering» more VSTTE 2005»

Software Verification and Software Engineering a Practitioner's Perspective

15 years 5 months ago

Download vstte.ethz.ch

Anthony Hall

claim paper

Read More »