Author:
Matsliah Arie,Strichman Ofer
Subject
Computational Theory and Mathematics,Computer Science Applications,Information Systems,Theoretical Computer Science
Reference15 articles.
1. Computer Aided Verification of Coordinating Processes;Kurshan,1994
2. SAT based counterexample-guided abstraction-refinement;Clarke;IEEE Transactions on Computer Aided Design (TCAD),2004
3. M. Glusman, G. Kamhi, S. Mador-Haim, R. Fraer, M.Y. Vardi, Multiple-counterexample guided iterative abstraction refinement: an industrial evaluation, in: Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2003, LNCS, 2003, pp. 176–191.
4. Counterexample-guided abstraction refinement;Clarke;Journal of the ACM,2003
5. N. Amla, K. McMillan, Automatic abstraction without counterexamples, in: H. Garavel, J. Hatcliff (Eds.), TACAS’03, vol. 2619, LNCS, 2003.