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