Sciweavers

5255 search results - page 30 / 1051

» Formal Methods for Privacy

111

SAS
2001
Springer

151views Formal Methods» more SAS 2001»

A Behavioral Module System for the Pi-Calculus

15 years 7 months ago

A Behavioral Module System for the Pi-Calculus

Download www.cs.ucla.edu

Sriram K. Rajamani, Jakob Rehof

claim paper

Read More »

118

FMSP
2000
ACM

131views Formal Methods» more FMSP 2000»

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

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

116

FM
1999
Springer

103views Formal Methods» more FM 1999»

Verifying a Distributed Database Lookup Manager Written in Erlang

15 years 7 months ago

Verifying a Distributed Database Lookup Manager Written in Erlang

Download www.erlang.se

Thomas Arts, Mads Dam

claim paper

Read More »

100

FM
1999
Springer

102views Formal Methods» more FM 1999»

csp2B: A Practical Approach to Combining CSP and B

15 years 7 months ago

csp2B: A Practical Approach to Combining CSP and B

Download eprints.ecs.soton.ac.uk

Michael J. Butler

claim paper

Read More »

98

Voted

FM
1999
Springer

122views Formal Methods» more FM 1999»

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

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