Sciweavers

8828 search results - page 37 / 1766

» Formal methods in practice

59

SAS
2001
Springer

109views Formal Methods» more SAS 2001»

Parameterizing a Groundness Analysis of Logic Programs

15 years 2 months ago

Parameterizing a Groundness Analysis of Logic Programs

Download www.springer.com

Lunjin Lu

claim paper

Read More »

69

SAS
2001
Springer

117views Formal Methods» more SAS 2001»

An Abstract Analysis of the Probabilistic Termination of Programs

15 years 2 months ago

An Abstract Analysis of the Probabilistic Termination of Programs

Download www-verimag.imag.fr

David Monniaux

claim paper

Read More »

71

SAS
2001
Springer

151views Formal Methods» more SAS 2001»

A Behavioral Module System for the Pi-Calculus

15 years 2 months ago

A Behavioral Module System for the Pi-Calculus

Download www.cs.ucla.edu

Sriram K. Rajamani, Jakob Rehof

claim paper

Read More »

78

FMSP
2000
ACM

131views Formal Methods» more FMSP 2000»

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

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

79

FM
1999
Springer

103views Formal Methods» more FM 1999»

Verifying a Distributed Database Lookup Manager Written in Erlang

15 years 2 months ago

Verifying a Distributed Database Lookup Manager Written in Erlang

Download www.erlang.se

Thomas Arts, Mads Dam

claim paper

Read More »

« Prev « First page 37 / 1766 Last » Next »