Journals in DBLP
Felice Balarin Concurrent Symbolic Verification of Liveness Properties for Interleaved Models. [Citation Graph (0, 0)][DBLP ] Journal ] Sophie Renault , Eduard Cerny Improving Termination of MDG-Based Abstract State Enumeration via Term Schematization. [Citation Graph (0, 0)][DBLP ] Journal ] Jesper B. Møller , Jakob Lichtenberg , Henrik Reif Andersen , Henrik Hulgaard Fully Symbolic Model Checking of Timed Systems using Difference Decision Diagrams. [Citation Graph (0, 0)][DBLP ] Journal ] Shankar G. Govindaraju , David L. Dill Approximate Symbolic Model Checking using Overlapping Projections. [Citation Graph (0, 0)][DBLP ] Journal ] Ranan Fraer , Gila Kamhi , Limor Fix , Moshe Y. Vardi Evaluating Semi-Exhaustive Verification Techniques for Bug Hunting. [Citation Graph (0, 0)][DBLP ] Journal ] Laurent Ferier , Jean-François Raskin , Pierre-Yves Schobbens Model-Generation of a Fictitious Clock Real-Time Logic Using Sharing Trees. [Citation Graph (0, 0)][DBLP ] Journal ] Alessandro Cimatti , Orna Grumberg Preface. [Citation Graph (0, 0)][DBLP ] Journal ] Sérgio Vale Aguiar Campos , Marcio Teixeira , Marius Minea , Andreas Kuehlmann , Edmund M. Clarke Model Checking Semi-Continuous Time Models Using BDDs. [Citation Graph (0, 0)][DBLP ] Journal ] Armin Biere , Edmund M. Clarke , Yunshan Zhu Combining Local and Global Model Checking. [Citation Graph (0, 0)][DBLP ] Journal ] Fabio Somenzi Symbolic State Exploration. [Citation Graph (0, 0)][DBLP ] Journal ] 