External Links

    Journal: Formal Methods in System Design

    Volume 31, Issue 3

    197 -- 219A. Prasad Sistla, Xiaodong Wang, Min Zhou. Checking extended ::::CTL:::: properties using guarded quotient structures
    221 -- 239Clark W. Barrett, Leonardo Mendonça de Moura, Aaron Stump. Design and results of the 2nd annual satisfiability modulo theories competition (SMT-COMP 2006)
    241 -- 263Zoltán Ádám Mann, András Orbán, Péter Arató. Finding optimal hardware/software partitions
    265 -- 279Salvatore La Torre, Margherita Napoli, Mimmo Parente. The word problem for visibly pushdown languages described by grammars
    281 -- 305Thuan Quang Huynh, Abhik Roychoudhury. Memory model sensitive bytecode verification
    runs on