Showing 1 - 10 results of 10 for search 'Griggio, A', query time: 0.02s
Refine Results
-
1
Deciding Floating−Point Logic with Systematic Abstraction by Haller, L, Griggio, A, Brain, M, Kroening, D
Published 2012Conference item -
2
Deciding floating-point logic with abstract conflict driven clause learning by Brain, M, Silva, V, Griggio, A, Haller, L, Kroening, D
Published 2014Journal article -
3
Deciding floating−point logic with abstract conflict driven clause learning by Brain, M, D’Silva, V, Griggio, A, Haller, L, Kroening, D
Published 2013Journal article -
4
An Abstract Interpretation of DPLL(T) by Brain, M, D'Silva, V, Haller, L, Griggio, A, Kroening, D
Published 2013Conference item -
5
An abstract interpretation of DPLL(T) by Brain, M, D'Silva, V, Haller, L, Griggio, A, Kroening, D
Published 2013Conference item -
6
Interpolation−based verification of floating−point programs with abstract CDCL by Brain, M, D’Silva, V, Griggio, A, Haller, L, Kroening, D
Published 2013Book -
7
Interpolation-based verification of floating-point programs with abstract CDCL by Brain, M, D'Silva, V, Griggio, A, Haller, L, Kroening, D
Published 2013Conference item -
8
ARCH-COMP19 category report: hybrid systems with piecewise constant dynamics by Frehse, G, Abate, A, Adzkiya, D, Becchi, A, Bu, L, Cimatti, A, Giacobbe, M, Griggio, A, Mover, S, Syifa'ul Mufid, M, Riouak, I, Tonetta, S, Zaffanella, E
Published 2019Conference item -
9
Satisfiability checking meets symbolic computation by Abraham, E, Abbott, J, Becker, B, Bigatti, A, Brain, M, Buchberger, B, Cimatti, A, Davenport, J, England, M, Fontaine, P, Forrest, S, Griggio, A, Kroening, D, Seiler, W, Sturm, T
Published 2016Conference item -
10
SC2: Satisfiability checking meets symbolic computation by Ábrahám, E, Abbott, J, Becker, B, Bigatti, A, Brain, M, Buchberger, B, Cimatti, A, Davenport, J, England, M, Fontaine, P, Forrest, S, Griggio, A, Kroening, D, Seiler, W, Sturm, T
Published 2016Conference item