Search Sciweavers | Sciweavers

1129 search results - page 45 / 226

» Formal Verification of Websites

188

click to vote

ASIAN
2009
Springer

363views Algorithms» more ASIAN 2009»

A Logic for Formal Verification of Quantum Programs

15 years 29 days ago

Download nicosia.is.s.u-tokyo.ac.jp

Abstract. This paper provides a Hoare-style logic for quantum computation. While the usual Hoare logic helps us to verify classical deterministic programs, our logic supports quant...

Yoshihiko Kakutani

claim paper

Read More »

click to vote

ERCIM
2007

73views more ERCIM 2007»

Formal Modelling and Verification in Service-Oriented Computing

14 years 11 months ago

Download fmt.isti.cnr.it

Maurice H. ter Beek, Stefania Gnesi, Fabio Martine...

claim paper

Read More »

click to vote

JUCS
2007

101views more JUCS 2007»

Applications of Formal Methods to System Design and Verification

14 years 11 months ago

Download www.jucs.org

Farhad Arbab, Marjan Sirjani

claim paper

Read More »

click to vote

FMSD
1998

74views more FMSD 1998»

A Formal Verification Environment for Railway Signaling System Design

14 years 11 months ago

Download fmt.isti.cnr.it

Cinzia Bernardeschi, Alessandro Fantechi, Stefania...

claim paper

Read More »

click to vote

COMCOM
1999

63views more COMCOM 1999»

Security protocols over open networks and distributed systems: formal methods for their analysis, design, and verification

14 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers