External Links

    Journal: Formal Methods in System Design

    Volume 28, Issue 3

    189 -- 212Hana Chockler, Orna Kupferman, Moshe Y. Vardi. Coverage metrics for temporal logic model checking:::*:::
    213 -- 261Muffy Calder, Alice Miller. Feature interaction detection by pairwise analysis of LTL properties - A case study
    263 -- 289Scott D. Stoller, Ernie Cohen. Optimistic synchronization-based state-space reduction

    Volume 28, Issue 2

    91 -- 92Sandeep K. Shukla, Michael Theobald. Special issue on formal methods for globally asynchronous and locally synchronous (GALS) systems
    93 -- 110Luca P. Carloni, Alberto L. Sangiovanni-Vincentelli. A Framework for Modeling the Distributed Deployment of Synchronous Designs
    111 -- 130Dumitru Potop-Butucaru, Benoît Caillaud, Albert Benveniste. Concurrency in Synchronous Systems
    131 -- 151Jean-Pierre Talpin, Paul Le Guernic. An algebraic theory for behavioral modeling and protocol synthesis in system design
    153 -- 169Supratik Chakraborty, Joycee Mekie, Dinesh K. Sharma. Reasoning about synchronization in GALS systems
    171 -- 186Uri Frank, Tsachy Kapschitz, Ran Ginosar. A predictive synchronizer for periodic clock domains

    Volume 28, Issue 1

    5 -- 36Chao Wang, Roderick Bloem, Gary D. Hachtel, Kavita Ravi, Fabio Somenzi. Compositional SCC Analysis for Language Emptiness
    37 -- 56Roderick Bloem, Harold N. Gabow, Fabio Somenzi. An Algorithm for Strongly Connected Component Analysis in ::::n:::: log ::::n:::: Symbolic Steps
    57 -- 84Yonit Kesten, Amir Pnueli, Li-on Raviv, Elad Shahar. Model Checking with Strong Fairness
    runs on