Search Sciweavers | Sciweavers

1129 search results - page 45 / 226

» Formal Verification of Websites

319

click to vote

ASIAN
2009
Springer

363views Algorithms» more ASIAN 2009»

A Logic for Formal Verification of Quantum Programs

15 years 7 months 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 »

141

click to vote

ERCIM
2007

73views more ERCIM 2007»

Formal Modelling and Verification in Service-Oriented Computing

15 years 6 months ago

Download fmt.isti.cnr.it

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

claim paper

Read More »

101

click to vote

JUCS
2007

101views more JUCS 2007»

Applications of Formal Methods to System Design and Verification

15 years 6 months ago

Download www.jucs.org

Farhad Arbab, Marjan Sirjani

claim paper

Read More »

117

click to vote

FMSD
1998

74views more FMSD 1998»

A Formal Verification Environment for Railway Signaling System Design

15 years 6 months ago

Download fmt.isti.cnr.it

Cinzia Bernardeschi, Alessandro Fantechi, Stefania...

claim paper

Read More »

134

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

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers