Sciweavers

8828 search results - page 48 / 1766

» Formal methods in practice

59

SAS
1994
Springer

86views Formal Methods» more SAS 1994»

A Systematic Construction of Abstract Domains

15 years 1 months ago

A Systematic Construction of Abstract Domains

Download lirias.kuleuven.be

Dmitri Boulanger, Maurice Bruynooghe

claim paper

Read More »

70

FM
2008
Springer

107views Formal Methods» more FM 2008»

Automated Verification of Dense-Time MTL Specifications Via Discrete-Time Approximation

14 years 11 months ago

Automated Verification of Dense-Time MTL Specifications Via Discrete-Time Approximation

Download se.ethz.ch

Carlo A. Furia, Matteo Pradella, Matteo Rossi

claim paper

Read More »

62

FM
2008
Springer

91views Formal Methods» more FM 2008»

Provably Correct Runtime Monitoring

14 years 11 months ago

Provably Correct Runtime Monitoring

Download www.nada.kth.se

Irem Aktug, Mads Dam, Dilian Gurov

claim paper

Read More »

63

Voted

FMCAD
2008
Springer

146views Formal Methods» more FMCAD 2008»

Consistency Checking of All Different Constraints over Bit-Vectors within a SAT Solver

14 years 11 months ago

Consistency Checking of All Different Constraints over Bit-Vectors within a SAT Solver

Download fmv.jku.at

Armin Biere, Robert Brummayer

claim paper

Read More »

85

FMCAD
2008
Springer

85views Formal Methods» more FMCAD 2008»

Combining Predicate and Numeric Abstraction for Software Model Checking

14 years 11 months ago

Combining Predicate and Numeric Abstraction for Software Model Checking

Download www.contrib.andrew.cmu.edu

Arie Gurfinkel, Sagar Chaki

claim paper

Read More »

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