Sciweavers

8828 search results - page 48 / 1766

» Formal methods in practice

105

SAS
1994
Springer

86views Formal Methods» more SAS 1994»

A Systematic Construction of Abstract Domains

15 years 7 months ago

A Systematic Construction of Abstract Domains

Download lirias.kuleuven.be

Dmitri Boulanger, Maurice Bruynooghe

claim paper

Read More »

114

Voted

FM
2008
Springer

107views Formal Methods» more FM 2008»

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

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

108

Voted

FM
2008
Springer

91views Formal Methods» more FM 2008»

Provably Correct Runtime Monitoring

15 years 5 months ago

Provably Correct Runtime Monitoring

Download www.nada.kth.se

Irem Aktug, Mads Dam, Dilian Gurov

claim paper

Read More »

111

FMCAD
2008
Springer

146views Formal Methods» more FMCAD 2008»

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

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

134

FMCAD
2008
Springer

85views Formal Methods» more FMCAD 2008»

Combining Predicate and Numeric Abstraction for Software Model Checking

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