Filter publications

    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.
      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.
      More: https://is.muni.cz/publication/585982/en
Display details
Displayed: 6/9/2025 16:02