Showing 1 - 8 results of 8 for search 'Seghir, M', query time: 0.92s
Refine Results
-
1
-
2
An Assume Guarantee Approach for Checking Quantified Array Assertions by Seghir, M
Published 2010Conference item -
3
Necessary and Sufficient Preconditions via Eager Abstraction by Seghir, M, Schrammel, P
Published 2014Conference item -
4
Counterexample−guided Precondition Inference by Seghir, M, Kroening, D
Published 2013Conference item -
5
Counterexample-guided precondition inference by Seghir, M, Kroening, D
Published 2013Conference item -
6
ACSAR: Software Model Checking with Transfinite Refinement by Seghir, M, Podelski, A
Published 2007Conference item -
7
Abstraction Refinement for Quantified Array Assertions by Seghir, M, Podelski, A, Wies, T
Published 2009Conference item -
8
Integration of a Software Model Checker into Isabelle by Daum, M, Maus, S, Schirmer, N, Seghir, M
Published 2005Conference item