Sciweavers

5255 search results - page 82 / 1051

» Formal Methods for Privacy

77

FAC
1998

99views more FAC 1998»

Heterogeneous Notations for Pure Formal Method Integration

15 years 2 months ago

Heterogeneous Notations for Pure Formal Method Integration

Download www-users.cs.york.ac.uk

Richard F. Paige

claim paper

Read More »

100

COMCOM
1999

63views more COMCOM 1999»

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

15 years 2 months ago

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

Download www.dmst.aueb.gr

Stefanos Gritzalis, Diomidis Spinellis, Panagiotis...

claim paper

Read More »

108

CSUR
1999

137views more CSUR 1999»

Algebraic Methods for Specification and Formal Development of Programs

15 years 2 months ago

Algebraic Methods for Specification and Formal Development of Programs

Download homepages.inf.ed.ac.uk

with functions over those sets. This level of abstraction is commensurate with the view that the correctness of the input/output behaviour of a program takes precedence over all it...

Donald Sannella, Andrzej Tarlecki

claim paper

Read More »

134

SCP
2002

75views more SCP 2002»

Formal methods: the very idea - Some thoughts about why they work when they work

15 years 2 months ago

Formal methods: the very idea - Some thoughts about why they work when they work

Download se.uwaterloo.ca

Daniel M. Berry

claim paper

Read More »

88

SCP
2002

68views more SCP 2002»

Formal methods in practice

15 years 2 months ago

Formal methods in practice

Download www.win.tue.nl

Wolfgang Polak

claim paper

Read More »

« Prev « First page 82 / 1051 Last » Next »