Abstract is missing.
- Hierarchical Set Decision Diagrams and Regular ModelsYann Thierry-Mieg, Denis Poitrenaud, Alexandre Hamez, Fabrice Kordon. 1-15 [doi]
- Büchi Complementation and Size-Change TerminationSeth Fogarty, Moshe Y. Vardi. 16-30 [doi]
- Learning Minimal Separating DFA s for Compositional VerificationYu-Fang Chen, Azadeh Farzan, Edmund M. Clarke, Yih-Kuen Tsay, Bow-Yaw Wang. 31-45 [doi]
- RBAC-PAT: A Policy Analysis Tool for Role Based Access ControlMikhail I. Gofman, Ruiqi Luo, Ayla C. Solomon, Yingbin Zhang, Ping Yang, Scott D. Stoller. 46-49 [doi]
- ITPN-PerfBound: A Performance Bound Tool for Interval Time Petri NetsElina Pacini Naumovich, Simona Bernardi, Marco Gribaudo. 50-53 [doi]
- Romeo: A Parametric Model-Checker for Petri Nets with StopwatchesDidier Lime, Olivier H. Roux, Charlotte Seidner, Louis-Marie Traonouez. 54-57 [doi]
- Alpaga: A Tool for Solving Parity Games with Imperfect InformationDietmar Berwanger, Krishnendu Chatterjee, Martin De Wulf, Laurent Doyen, Thomas A. Henzinger. 58-61 [doi]
- Compositional Predicate Abstraction from Game SemanticsAdam Bakewell, Dan R. Ghica. 62-76 [doi]
- Compositional Synthesis of Reactive Systems from Live Sequence Chart SpecificationsHillel Kugler, Itai Segall. 77-91 [doi]
- Computing Weakest Strategies for Safety Games of Imperfect InformationWouter Kuijper, Jaco van de Pol. 92-106 [doi]
- Context-Bounded Analysis for Concurrent Programs with Dynamic Creation of ThreadsMohamed Faouzi Atig, Ahmed Bouajjani, Shaz Qadeer. 107-123 [doi]
- Semantic Reduction of Thread Interleavings in Concurrent ProgramsVineet Kahlon, Sriram Sankaranarayanan, Aarti Gupta. 124-138 [doi]
- Inferring Synchronization under Limited ObservabilityMartin T. Vechev, Eran Yahav, Greta Yorsh. 139-154 [doi]
- The Complexity of Predicting Atomicity ViolationsAzadeh Farzan, P. Madhusudan. 155-169 [doi]
- MoonWalker: Verification of .NET ProgramsNiels H. M. Aan de Brugh, Viet Yen Nguyen, Theo C. Ruys. 170-173 [doi]
- Boolector: An Efficient SMT Solver for Bit-Vectors and ArraysRobert Brummayer, Armin Biere. 174-177 [doi]
- The YogiProject: Software Property Checking via Static Analysis and TestingAditya V. Nori, Sriram K. Rajamani, SaiDeep Tetali, Aditya V. Thakur. 178-181 [doi]
- TaPAS: The Talence Presburger Arithmetic SuiteJérôme Leroux, Gérald Point. 182-185 [doi]
- Transition-Based Directed Model CheckingMartin Wehrle, Sebastian Kupferschmid, Andreas Podelski. 186-200 [doi]
- Memoised Garbage Collection for Software Model CheckingViet Yen Nguyen, Theo C. Ruys. 201-214 [doi]
- Hierarchical Adaptive State Space Caching Based on Level SamplingRadu Mateescu, Anton Wijs. 215-229 [doi]
- Static Analysis Techniques for Parameterised Boolean Equation SystemsSimona Orzan, Wieger Wesselink, Tim A. C. Willemse. 230-245 [doi]
- Parametric Trace Slicing and MonitoringFeng Chen, Grigore Rosu. 246-261 [doi]
- From Tests to ProofsAshutosh Gupta, Rupak Majumdar, Andrey Rybalchenko. 262-276 [doi]
- Test Input Generation for Programs with PointersDries Vanoverberghe, Nikolai Tillmann, Frank Piessens. 277-291 [doi]
- Specification Mining with Few False PositivesClaire Le Goues, Westley Weimer. 292-306 [doi]
- Path Feasibility Analysis for String-Manipulating ProgramsNikolaj Bjørner, Nikolai Tillmann, Andrei Voronkov. 307-321 [doi]
- Symbolic String Verification: Combining String Analysis and Size AnalysisFang Yu, Tevfik Bultan, Oscar H. Ibarra. 322-336 [doi]
- Iterating OctagonsMarius Bozga, Codruta Gîrlea, Radu Iosif. 337-351 [doi]
- Verifying Reference Counting ImplementationsMichael Emmi, Ranjit Jhala, Eddie Kohler, Rupak Majumdar. 352-367 [doi]
- Falsification of LTL Safety Properties in Hybrid SystemsErion Plaku, Lydia E. Kavraki, Moshe Y. Vardi. 368-382 [doi]
- Computing Optimized Representations for Non-convex Polyhedra by Detection and Removal of Redundant Linear ConstraintsChristoph Scholl, Stefan Disch, Florian Pigorsch, Stefan Kupferschmid. 383-397 [doi]
- All-Termination(T)Panagiotis Manolios, Aaron Turon. 398-412 [doi]
- Ground Interpolation for the Theory of EqualityAlexander Fuchs, Amit Goel, Jim Grundy, Sava Krstic, Cesare Tinelli. 413-427 [doi]
- Satisfiability Procedures for Combination of Theories Sharing Integer OffsetsEnrica Nicolini, Christophe Ringeissen, Michaël Rusinowitch. 428-442 [doi]
- Bridging the Gap Between Model-Based Development and Model CheckingSteven P. Miller. 443-453 [doi]