Aaron R. Bradley

Georg Weissenbacher

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2013

Incremental, Inductive Model Checking.

[BibT_eX]

[DOI]

Proceedings of the 2013 20th International Symposium on Temporal Representation and Reasoning, 2013

Better generalization in IC3.

[BibT_eX]

[DOI]

Zyad Hassan

Fabio Somenzi

Proceedings of the Formal Methods in Computer-Aided Design, 2013

2012

Understanding IC3.

[BibT_eX]

[DOI]

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2012, 2012

Incremental, Inductive CTL Model Checking.

[BibT_eX]

[DOI]

Zyad Hassan

Fabio Somenzi

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

IC3 and beyond: Incremental, Inductive Verification.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

2011

SAT-Based Model Checking without Unrolling.

[BibT_eX]

[DOI]

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2011

IC3: where monolithic and incremental meet.

[BibT_eX]

[DOI]

Fabio Somenzi

Proceedings of the International Conference on Formal Methods in Computer-Aided Design, 2011

An incremental approach to model checking progress properties.

[BibT_eX]

[DOI]

Proceedings of the International Conference on Formal Methods in Computer-Aided Design, 2011

Programming for Engineers - A Foundational Approach to Learning C and Matlab.

[BibT_eX]

[DOI]

Springer, ISBN: 978-3-642-23302-9, 2011

2010

k-Step Relative Inductive Generalization

[BibT_eX]

[DOI]

CoRR, 2010

2008

Property-directed incremental invariant generation.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2008

2007

Safety analysis of systems.

[BibT_eX]

[DOI]

PhD thesis, 2007

Checking Safety by Inductive Generalization of Counterexamples to Induction.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods in Computer-Aided Design, 7th International Conference, 2007

The calculus of computation - decision procedures with applications to verification.

[BibT_eX]

[DOI]

Springer, 2007

2006

What's Decidable About Arrays?

[BibT_eX]

[DOI]

Proceedings of the Verification, 2006

Verification Constraint Problems with Strengthening.

[BibT_eX]

[DOI]

Proceedings of the Theoretical Aspects of Computing, 2006

2005

Termination of Polynomial Programs.

[BibT_eX]

[DOI]

Proceedings of the Verification, 2005

The Polyranking Principle.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages and Programming, 32nd International Colloquium, 2005

Termination Analysis of Integer Linear Loops.

[BibT_eX]

[DOI]

Proceedings of the CONCUR 2005 - Concurrency Theory, 16th International Conference, 2005

Linear Ranking with Reachability.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 17th International Conference, 2005

Termination and Invariance Analysis of Loops.

[BibT_eX]

[DOI]