A liveness checking algorithm that counts
Claessen, K., Sorensson, N.
Published in 2012 Formal Methods in Computer-Aided Design (FMCAD) (01.10.2012)
Get full text
Published in 2012 Formal Methods in Computer-Aided Design (FMCAD) (01.10.2012)
Conference Proceeding
Deciding floating-point logic with systematic abstraction
Haller, L., Griggio, A., Brain, M., Kroening, D.
Published in 2012 Formal Methods in Computer-Aided Design (FMCAD) (01.10.2012)
Get full text
Published in 2012 Formal Methods in Computer-Aided Design (FMCAD) (01.10.2012)
Conference Proceeding
Incremental upgrade checking by means of interpolation-based function summaries
Sery, O., Fedyukovich, G., Sharygina, N.
Published in 2012 Formal Methods in Computer-Aided Design (FMCAD) (01.10.2012)
Get full text
Published in 2012 Formal Methods in Computer-Aided Design (FMCAD) (01.10.2012)
Conference Proceeding
Lazy abstraction and SAT-based reachability in hardware model checking
Vizel, Y., Grumberg, O., Shoham, S.
Published in 2012 Formal Methods in Computer-Aided Design (FMCAD) (01.10.2012)
Get full text
Published in 2012 Formal Methods in Computer-Aided Design (FMCAD) (01.10.2012)
Conference Proceeding
Symbolically synthesizing small circuits
Ehlers, R., Kunighofer, R., Hofferek, G.
Published in 2012 Formal Methods in Computer-Aided Design (FMCAD) (01.10.2012)
Get full text
Published in 2012 Formal Methods in Computer-Aided Design (FMCAD) (01.10.2012)
Conference Proceeding
Decompilation into logic - Improved
Myreen, M. O., Gordon, M. J. C., Slind, K.
Published in 2012 Formal Methods in Computer-Aided Design (FMCAD) (01.10.2012)
Get full text
Published in 2012 Formal Methods in Computer-Aided Design (FMCAD) (01.10.2012)
Conference Proceeding
A quantifier-free SMT encoding of non-linear hybrid automata
Cimatti, A., Mover, S., Tonetta, S.
Published in 2012 Formal Methods in Computer-Aided Design (FMCAD) (01.10.2012)
Get full text
Published in 2012 Formal Methods in Computer-Aided Design (FMCAD) (01.10.2012)
Conference Proceeding
Algorithms for software model checking: Predicate abstraction vs. Impact
Beyer, D., Wendler, P.
Published in 2012 Formal Methods in Computer-Aided Design (FMCAD) (01.10.2012)
Get full text
Published in 2012 Formal Methods in Computer-Aided Design (FMCAD) (01.10.2012)
Conference Proceeding
Piecewise linear modeling of nonlinear devices for formal verification of analog circuits
Yan Zhang, Sankaranarayanan, S., Somenzi, F.
Published in 2012 Formal Methods in Computer-Aided Design (FMCAD) (01.10.2012)
Get full text
Published in 2012 Formal Methods in Computer-Aided Design (FMCAD) (01.10.2012)
Conference Proceeding
Preprocessing techniques for first-order clausification
Hoder, Krystof, Khasidashvili, Z., Korovin, K., Voronkov, A.
Published in 2012 Formal Methods in Computer-Aided Design (FMCAD) (01.10.2012)
Get full text
Published in 2012 Formal Methods in Computer-Aided Design (FMCAD) (01.10.2012)
Conference Proceeding
Complete and effective robustness checking by means of interpolation
Frehse, S., Fey, G., Arbel, E., Yorav, K., Drechsler, R.
Published in 2012 Formal Methods in Computer-Aided Design (FMCAD) (01.10.2012)
Get full text
Published in 2012 Formal Methods in Computer-Aided Design (FMCAD) (01.10.2012)
Conference Proceeding
Formal verification of error correcting circuits using computational algebraic geometry
Lvov, Alexey, Lastras-Montano, L. A., Paruthi, V., Shadowen, R., El-Zein, A.
Published in 2012 Formal Methods in Computer-Aided Design (FMCAD) (01.10.2012)
Get full text
Published in 2012 Formal Methods in Computer-Aided Design (FMCAD) (01.10.2012)
Conference Proceeding
Enhanced reachability analysis via automated dynamic netlist-based hint generation
Jiazhao Xu, Williams, M., Mony, H., Baumgartner, J.
Published in 2012 Formal Methods in Computer-Aided Design (FMCAD) (01.10.2012)
Get full text
Published in 2012 Formal Methods in Computer-Aided Design (FMCAD) (01.10.2012)
Conference Proceeding
Quantifier elimination by Dependency Sequents
Goldberg, E., Manolios, P.
Published in 2012 Formal Methods in Computer-Aided Design (FMCAD) (01.10.2012)
Get full text
Published in 2012 Formal Methods in Computer-Aided Design (FMCAD) (01.10.2012)
Conference Proceeding
A formal model of a large memory that supports efficient execution
Hunt, Warren A., Kaufmann, M.
Published in 2012 Formal Methods in Computer-Aided Design (FMCAD) (01.10.2012)
Get full text
Published in 2012 Formal Methods in Computer-Aided Design (FMCAD) (01.10.2012)
Conference Proceeding
IC3-guided abstraction
Baumgartner, J., Ivrii, A., Matsliah, A., Mony, H.
Published in 2012 Formal Methods in Computer-Aided Design (FMCAD) (01.10.2012)
Get full text
Published in 2012 Formal Methods in Computer-Aided Design (FMCAD) (01.10.2012)
Conference Proceeding
Oscillator verification with probability one
Chao Yan, Greenstreet, M.
Published in 2012 Formal Methods in Computer-Aided Design (FMCAD) (01.10.2012)
Get full text
Published in 2012 Formal Methods in Computer-Aided Design (FMCAD) (01.10.2012)
Conference Proceeding
Verification of parametric system designs
Cimatti, A., Narasamdya, I., Roveri, M.
Published in 2012 Formal Methods in Computer-Aided Design (FMCAD) (01.10.2012)
Get full text
Published in 2012 Formal Methods in Computer-Aided Design (FMCAD) (01.10.2012)
Conference Proceeding