Sciweavers

5255 search results - page 30 / 1051

» Formal Methods for Privacy

22

SAS
2001
Springer

151views Formal Methods» more SAS 2001»

A Behavioral Module System for the Pi-Calculus

14 years 4 days ago

A Behavioral Module System for the Pi-Calculus

Download www.cs.ucla.edu

Sriram K. Rajamani, Jakob Rehof

claim paper

Read More »

24

FMSP
2000
ACM

131views Formal Methods» more FMSP 2000»

Using predicate abstraction to reduce object-oriented programs for model checking

14 years 2 days ago

Using predicate abstraction to reduce object-oriented programs for model checking

Download ti.arc.nasa.gov

Willem Visser, Seungjoon Park, John Penix

claim paper

Read More »

24

FM
1999
Springer

103views Formal Methods» more FM 1999»

Verifying a Distributed Database Lookup Manager Written in Erlang

13 years 12 months ago

Verifying a Distributed Database Lookup Manager Written in Erlang

Download www.erlang.se

Thomas Arts, Mads Dam

claim paper

Read More »

20

FM
1999
Springer

102views Formal Methods» more FM 1999»

csp2B: A Practical Approach to Combining CSP and B

13 years 12 months ago

csp2B: A Practical Approach to Combining CSP and B

Download eprints.ecs.soton.ac.uk

Michael J. Butler

claim paper

Read More »

16

FM
1999
Springer

122views Formal Methods» more FM 1999»

Towards a Compositional Approach to the Design and Verification of Distributed Systems

13 years 12 months ago

Towards a Compositional Approach to the Design and Verification of Distributed Systems

Download www.cs.unh.edu

Michel Charpentier, K. Mani Chandy

claim paper

Read More »

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