Selecting the Selection
Hoder, Kryštof, Reger, Giles, Suda, Martin, Voronkov, Andrei
Published in Automated Reasoning (2016)
Published in Automated Reasoning (2016)
Get full text
Book Chapter
Conference Proceeding
Invariant Generation in Vampire
Hoder, Kryštof, Kovács, Laura, Voronkov, Andrei
Published in Tools and Algorithms for the Construction and Analysis of Systems (2011)
Published in Tools and Algorithms for the Construction and Analysis of Systems (2011)
Get full text
Book Chapter
μZ– An Efficient Engine for Fixed Points with Constraints
Hoder, Kryštof, Bjørner, Nikolaj, de Moura, Leonardo
Published in Computer Aided Verification (2011)
Published in Computer Aided Verification (2011)
Get full text
Book Chapter