Conferences in DBLP
Shuvendu K. Lahiri , Randal E. Bryant , Amit Goel , Muralidhar Talupur Revisiting Positive Equality. [Citation Graph (0, 0)][DBLP ] Conf ] Kenneth L. McMillan An Interpolating Theorem Prover. [Citation Graph (0, 0)][DBLP ] Conf ] Kavita Ravi , Fabio Somenzi Minimal Assignments for Bounded Model Checking. [Citation Graph (0, 0)][DBLP ] Conf ] Håkan L. S. Younes , Marta Z. Kwiatkowska , Gethin Norman , David Parker Numerical vs. Statistical Probabilistic Model Checking: An Empirical Study. [Citation Graph (0, 0)][DBLP ] Conf ] Christel Baier , Boudewijn R. Haverkort , Holger Hermanns , Joost-Pieter Katoen Efficient Computation of Time-Bounded Reachability Probabilities in Uniform Continuous-Time Markov Decision Processes. [Citation Graph (0, 0)][DBLP ] Conf ] Luca de Alfaro , Marco Faella , Thomas A. Henzinger , Rupak Majumdar , Mariëlle Stoelinga Model Checking Discounted Temporal Properties. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Ball , Vladimir Levin , Fei Xie Automatic Creation of Environment Models via Training. [Citation Graph (0, 0)][DBLP ] Conf ] Alex Groce Error Explanation with Distance Metrics. [Citation Graph (0, 0)][DBLP ] Conf ] Koushik Sen , Grigore Rosu , Gul Agha Online Efficient Predictive Safety Analysis of Multithreaded Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Karsten Diethers , Michaela Huhn Vooduu: Verification of Object-Oriented Designs Using UPPAAL. [Citation Graph (0, 0)][DBLP ] Conf ] Carla Piazza , Enrico Pivato , Sabina Rossi CoPS - Checker of Persistent Security. [Citation Graph (0, 0)][DBLP ] Conf ] Heikki Virtanen , Henri Hansen , Antti Valmari , Juha Nieminen , Timo Erkkilä Tampere Verification Tool. [Citation Graph (0, 0)][DBLP ] Conf ] Xianghua Deng , Matthew B. Dwyer , John Hatcliff , Masaaki Mizuno SyncGen: An Aspect-Oriented Framework for Synchronization. [Citation Graph (0, 0)][DBLP ] Conf ] Markus Müller-Olm , Haiseung Yoo MetaGame: An Animation Tool for Model-Checking Games. [Citation Graph (0, 0)][DBLP ] Conf ] Edmund M. Clarke , Daniel Kroening , Flavio Lerda A Tool for Checking ANSI-C Programs. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Mailund , Michael Westergaard Obtaining Memory-Efficient Reachability Graph Representations Using the Sweep-Line Method. [Citation Graph (0, 0)][DBLP ] Conf ] Karsten Schmidt Automated Generation of a Progress Measure for the Sweep-Line Method. [Citation Graph (0, 0)][DBLP ] Conf ] Jaco Geldenhuys , Antti Valmari Tarjan's Algorithm Makes On-the-Fly LTL Verification More Efficient. [Citation Graph (0, 0)][DBLP ] Conf ] Jacob Illum Rasmussen , Kim Guldstrand Larsen , K. Subramani Resource-Optimal Scheduling Using Priced Timed Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Pavel Krcál , Wang Yi Decidable and Undecidable Problems in Schedulability Analysis Using Timed Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Flemming Nielson , Hanne Riis Nielson , Hongyan Sun , Mikael Buchholtz , René Rydhof Hansen , Henrik Pilegaard , Helmut Seidl The Succinct Solver Suite. [Citation Graph (0, 0)][DBLP ] Conf ] Nathan Linger , Tim Sheard Binding-Time Analysis for MetaML via Type Inference and Constraint Solving. [Citation Graph (0, 0)][DBLP ] Conf ] Zhendong Su , David Wagner A Class of Polynomially Solvable Range Constraints for Interval Analysis without Widenings and Narrowings. [Citation Graph (0, 0)][DBLP ] Conf ] Denis Lugiez , Peter Niebert , Sarah Zennou A Partial Order Semantics Approach to the Clock Explosion Problem of Timed Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Gerd Behrmann , Patricia Bouyer , Kim Guldstrand Larsen , Radek Pelánek Lower and Upper Bounds in Zone Based Abstractions of Timed Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Stefan Leue , Richard Mayr , Wei Wei A Scalable Incomplete Test for the Boundedness of UML RT Models. [Citation Graph (0, 0)][DBLP ] Conf ] Giorgio Delzanno , Pierre Ganty Automatic Verification of Time Sensitive Cryptographic Protocols. [Citation Graph (0, 0)][DBLP ] Conf ] A. E. Lindsey , Charles Pecheur Simulation-Based Verification of Autonomous Controllers via Livingstone PathFinder. [Citation Graph (0, 0)][DBLP ] Conf ] Danièle Beauquier , Tristan Crolard , Evguenia Prokofieva Automatic Parametric Verification of a Root Contention Protocol Based on Abstract State Machines and First Order Timed Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Thomas Ball , Byron Cook , Satyaki Das , Sriram K. Rajamani Refining Approximations in Software Predicate Abstraction. [Citation Graph (0, 0)][DBLP ] Conf ] Robby , Edwin Rodríguez , Matthew B. Dwyer , John Hatcliff Checking Strong Specifications Using an Extensible Software Model Checking Framework. [Citation Graph (0, 0)][DBLP ] Conf ] Samson Abramsky , Dan R. Ghica , Andrzej S. Murawski , C.-H. Luke Ong Applying Game Semantics to Compositional Software Modeling and Verification. [Citation Graph (0, 0)][DBLP ] Conf ] Jan Friso Groote , Misa Keinänen Solving Disjunctive/Conjunctive Boolean Equation Systems with Alternating Fixed Points. [Citation Graph (0, 0)][DBLP ] Conf ] Arie Gurfinkel , Marsha Chechik How Vacuous Is Vacuous? [Citation Graph (0, 0)][DBLP ] Conf ] Rajeev Alur , Kousha Etessami , P. Madhusudan A Temporal Logic of Nested Calls and Returns. [Citation Graph (0, 0)][DBLP ] Conf ] Yi Fang , Nir Piterman , Amir Pnueli , Lenore D. Zuck Liveness with Incomprehensible Ranking. [Citation Graph (0, 0)][DBLP ] Conf ] Kairong Qian , Albert Nymeyer Guided Invariant Model Checking Based on Abstraction and Symbolic Pattern Databases. [Citation Graph (0, 0)][DBLP ] Conf ] Denis Gopan , Frank DiMaio , Nurit Dor , Thomas W. Reps , Shmuel Sagiv Numeric Domains with Summarized Dimensions. [Citation Graph (0, 0)][DBLP ] Conf ] Greta Yorsh , Thomas W. Reps , Shmuel Sagiv Symbolically Computing Most-Precise Abstract Operations for Shape Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Sharon Shoham , Orna Grumberg Monotonic Abstraction-Refinement for CTL. [Citation Graph (0, 0)][DBLP ] Conf ] Bernard Boigelot , Axel Legay , Pierre Wolper Omega-Regular Model Checking. [Citation Graph (0, 0)][DBLP ] Conf ] Sébastien Bardin , Alain Finkel , Jérôme Leroux FASTer Acceleration of Counter Automata in Practice. [Citation Graph (0, 0)][DBLP ] Conf ] Orna Kupferman , Moshe Y. Vardi From Complementation to Certification. [Citation Graph (0, 0)][DBLP ] Conf ] 