|
Search the dblp DataBase
Georg Weissenbacher:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- Daniel Kroening, Georg Weissenbacher
Counterexamples with Loops for Predicate Abstraction. [Citation Graph (0, 0)][DBLP] CAV, 2006, pp:152-165 [Conf]
- Gérard Basler, Daniel Kroening, Georg Weissenbacher
SAT-Based Summarization for Boolean Programs. [Citation Graph (0, 0)][DBLP] SPIN, 2007, pp:131-148 [Conf]
Lifting Propositional Interpolants to the Word-Level. [Citation Graph (, )][DBLP]
A Complete Bounded Model Checking Algorithm for Pushdown Systems. [Citation Graph (, )][DBLP]
Model checking concurrent linux device drivers. [Citation Graph (, )][DBLP]
Interpolant Strength. [Citation Graph (, )][DBLP]
A Pattern for Formal Verification of Properties of Large Systems. [Citation Graph (, )][DBLP]
Search in 0.001secs, Finished in 0.001secs
|