External Links

    Journal: Formal Methods in System Design

    Volume 49, Issue 3

    159 -- 189Fatemeh Ghassemi, Wan Fokkink. Model checking mobile ad hoc networks
    190 -- 218Alessandro Cimatti, Alberto Griggio, Sergio Mover, Stefano Tonetta. Infinite-state invariant checking with IC3 and predicate abstraction
    219 -- 271Javier Esparza, Jan Kretínský, Salomon Sickert. From LTL to deterministic automata - A safraless compositional approach
    272 -- 323Ajith K. John, Supratik Chakraborty. A layered algorithm for quantifier elimination from linear modular constraints
    runs on