Filter

    2007

    1. Predicate Abstraction with Under-Approximation Refinement
      PELÁNEK, Radek; Corina PASAREANU and Willem VISSER. Predicate Abstraction with Under-Approximation Refinement. Logical Methods in Computer Science. Germany: Technical University of Braunschweig, 2007, vol. 3, No 1, p. 1-22. ISSN 1860-5974.
      LMCS journal web-page.
      Name in Czech: Predikátová abstrakce a zjemňování dolních aproximací
      RIV/00216224:14330/07:00020179 Article in a journal. Informatics. English. Germany.
      Pelánek, Radek (203 Czech Republic, guarantor) -- Pasareanu, Corina (642 Romania) -- Visser, Willem (710 South Africa)
      Keywords in English: model checking; predicate abstraction; under-approximation
      International impact: yes
      Reviewed: yes
      Changed by: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Changed: 23/6/2009 12:50.
      More: https://is.muni.cz/publication/713628/en

    2005

    1. Concrete Search with Abstract Matching and Refinement
      PELÁNEK, Radek; Corina PASAREANU and Willem VISSER. Concrete Search with Abstract Matching and Refinement. In Computer Aided Verification. Edinburgh: Springer, 2005, p. 52-66. ISBN 3-540-27231-3.
      Name in Czech: Konkrétní hledání s abstraktním sdružováním a zjemněním
      RIV/00216224:14330/05:00012728 Proceedings paper. Informatics. English. United Kingdom of Great Britain and Northern Ireland.
      Pelánek, Radek (203 Czech Republic, guarantor) -- Pasareanu, Corina (642 Romania) -- Visser, Willem (710 South Africa)
      Keywords in English: model checking; predicate abstraction; under-approximation
      Type of proceedings: post-proceedings
      International impact: yes
      Reviewed: yes
      Changed by: doc. Mgr. Radek Pelánek, Ph.D., učo 4297. Changed: 21/11/2006 14:02.
      More: https://is.muni.cz/publication/585982/en