Sciweavers

4340 search results - page 20 / 868

» Formal Methods and Cryptography

105

Voted

FM
2001
Springer

84views Formal Methods» more FM 2001»

Information Flow Control and Applications - Bridging a Gap

15 years 8 months ago

Information Flow Control and Applications - Bridging a Gap

Download www.mais.informatik.tu-darmstadt.de

Heiko Mantel

claim paper

Read More »

102

SAS
2001
Springer

109views Formal Methods» more SAS 2001»

Parameterizing a Groundness Analysis of Logic Programs

15 years 8 months ago

Parameterizing a Groundness Analysis of Logic Programs

Download www.springer.com

Lunjin Lu

claim paper

Read More »

113

Voted

SAS
2001
Springer

117views Formal Methods» more SAS 2001»

An Abstract Analysis of the Probabilistic Termination of Programs

15 years 8 months ago

An Abstract Analysis of the Probabilistic Termination of Programs

Download www-verimag.imag.fr

David Monniaux

claim paper

Read More »

114

Voted

SAS
2001
Springer

151views Formal Methods» more SAS 2001»

A Behavioral Module System for the Pi-Calculus

15 years 8 months ago

A Behavioral Module System for the Pi-Calculus

Download www.cs.ucla.edu

Sriram K. Rajamani, Jakob Rehof

claim paper

Read More »

121

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 »

« Prev « First page 20 / 868 Last » Next »