Application of abstract interpretation to the automotive electronic control system ανά Nyx Brain, M, Yamaguchi, T, Brain, M, Ryder, C, Imai, Y, Kawamura, Y

Building better bit-blasting for floating-point problems ανά Brain, M, Schanda, F, Sun, Y

Safety verification and refutation by k-invariants and k-induction ανά Brain, M, Joshi, S, Kroening, D, Schrammel, P

Algebraic Techniques in Software Verification : Challenges and Opportunities ανά Brain, M, Kroening, D, McCleeary, R

Model and Proof Generation for Heap−Manipulating Programs ανά Brain, M, David, C, Kroening, D, Schrammel, P

Deciding Floating−Point Logic with Systematic Abstraction ανά Haller, L, Griggio, A, Brain, M, Kroening, D

Model and proof generation for heap-manipulating programs ανά Brain, M, David, C, Kroening, D, Schrammel, P

Towards automated bounded model checking of API implementations ανά Neville, D, Malton, A, Brain, M, Kroening, D

Automatic generation of propagation complete SAT encodings ανά Brain, M, Hadarean, L, Kroening, D, Martins, R

Thrombin related peptide TP508 promoted fracture repair in a mouse high energy fracture model ανά Pan Xiao-Hua, Ryaby James T, Hanratty Brain M, Li Gang

Λήψη πλήρους κειμένου

Successful use of incremental BMC in the automotive industry ανά Schrammel, P, Kroening, D, Brain, M, Martins, R, Teige, T, Bienmüller, T

Incremental bounded model checking for embedded software ανά Schrammel, P, Kroening, D, Brain, M, Martins, R, Teige, T, Bienmüller, T

Deciding floating-point logic with abstract conflict driven clause learning ανά Brain, M, Silva, V, Griggio, A, Haller, L, Kroening, D

Deciding floating−point logic with abstract conflict driven clause learning ανά Brain, M, D’Silva, V, Griggio, A, Haller, L, Kroening, D

An Abstract Interpretation of DPLL(T) ανά Brain, M, D'Silva, V, Haller, L, Griggio, A, Kroening, D

An abstract interpretation of DPLL(T) ανά Brain, M, D'Silva, V, Haller, L, Griggio, A, Kroening, D

Interpolation−based verification of floating−point programs with abstract CDCL ανά Brain, M, D’Silva, V, Griggio, A, Haller, L, Kroening, D

Interpolation-based verification of floating-point programs with abstract CDCL ανά Brain, M, D'Silva, V, Griggio, A, Haller, L, Kroening, D

Invertibility conditions for floating-point formulas ανά Brain, M, Niemetz, A, Preiner, M, Reynolds, A, Barrett, C, Tinelli, C

Functional requirements-based automated testing for avionics ανά Sun, Y, Brain, M, Kroening, D, Guzmán Jiménez, F, Daniel, S, Hawthorn, A, Wilson, T, Schanda, F, Bryan, C, Broster, I