Abstract is missing.
- Tests, Proofs and RefinementsSriram K. Rajamani. 1-2 [doi]
- Formal Verification and BiologyDavid L. Dill. 3 [doi]
- Trust and Automation in Verification ToolsNatarajan Shankar. 4-17 [doi]
- CTLModel-Checking with Graded QuantifiersAlessandro Ferrante, Margherita Napoli, Mimmo Parente. 18-32 [doi]
- Genetic Programming and Model Checking: Synthesizing New Mutual Exclusion AlgorithmsGal Katz, Doron Peled. 33-47 [doi]
- Computation Tree Regular Logic for Genetic Regulatory NetworksRadu Mateescu, Pedro T. Monteiro, Estelle Dumas, Hidde de Jong. 48-63 [doi]
- Compositional Verification for Component-Based Systems and ApplicationSaddek Bensalem, Marius Bozga, Joseph Sifakis, Thanh-Hung Nguyen. 64-79 [doi]
- A Direct Algorithm for Multi-valued Bounded Model CheckingJefferson O. Andrade, Yukiyoshi Kameyama. 80-94 [doi]
- Model Checking Recursive Programs with Exact Predicate AbstractionArie Gurfinkel, Ou Wei, Marsha Chechik. 95-110 [doi]
- Loop Summarization Using Abstract TransformersDaniel Kroening, Natasha Sharygina, Stefano Tonetta, Aliaksei Tsitovich, Christoph M. Wintersteiger. 111-125 [doi]
- Dynamic Model Checking with Property Driven Pruning to Detect Race ConditionsChao Wang, Yu Yang, Aarti Gupta, Ganesh Gopalakrishnan. 126-140 [doi]
- Automating Algebraic Specifications of Non-freely Generated Data TypesAndriy Dunets, Gerhard Schellhorn, Wolfgang Reif. 141-155 [doi]
- Interpolants for Linear Arithmetic in SMTChristopher Lynch, Yuefeng Tang. 156-170 [doi]
- SAT Modulo ODE: A Direct SAT Approach to Hybrid SystemsAndreas Eggers, Martin Fränzle, Christian Herde. 171-185 [doi]
- SMELS: Satisfiability Modulo Equality with Lazy SuperpositionChristopher Lynch, Duc-Khanh Tran. 186-200 [doi]
- Controllable Test Cases for the Distributed Test ArchitectureRobert M. Hierons, Mercedes G. Merayo, Manuel Núñez. 201-215 [doi]
- Goanna: Syntactic Software Model CheckingRalf Huuck, Ansgar Fehnker, Sean Seefried, Jörg Brauer. 216-221 [doi]
- A Dynamic Assertion-Based Verification Platform for Validation of UML DesignsAnsuman Banerjee, Sayak Ray, Pallab Dasgupta, Partha Pratim Chakrabarti, S. Ramesh, P. Vignesh V. Ganesan. 222-227 [doi]
- CheckSpec: A Tool for Consistency and Coverage Analysis of Assertion SpecificationsAnsuman Banerjee, Kausik Datta, Pallab Dasgupta. 228-233 [doi]
- DiVinE Multi-Core - A Parallel LTL Model-CheckerJiri Barnat, Lubos Brim, Petr Rockai. 234-239 [doi]
- AlaskaMartin De Wulf, Laurent Doyen, Nicolas Maquet, Jean-François Raskin. 240-245 [doi]
- NetQi: A Model Checker for Anticipation GameElie Bursztein. 246-251 [doi]
- Component-Based Design and Analysis of Embedded Systems with UPPAAL PORTJohn Håkansson, Jan Carlson, Aurelien Monot, Paul Pettersson, Davor Slutej. 252-257 [doi]
- Time-Progress Evaluation for Dense-Time Automata with Concave Path ConditionsFarn Wang. 258-273 [doi]
- Decidable Compositions of O-Minimal AutomataAlberto Casagrande, Pietro Corvaja, Carla Piazza, Bud Mishra. 274-288 [doi]
- On the Applicability of Stochastic Petri Nets for Analysis of Multiserver Retrial Systems with Different Vacation PoliciesNawel Gharbi. 289-302 [doi]
- Model Based Importance Analysis for Minimal Cut SetsEckard Böde, Thomas Peikenkamp, Jan Rakow, Samuel Wischmeyer. 303-317 [doi]
- Approximate Invariant Property Checking Using Term-Height Reduction for a Subset of First-Order LogicHiroaki Shimizu, Kiyoharu Hamaguchi, Toshinobu Kashiwabara. 318-331 [doi]
- Tree Pattern Rewriting SystemsBlaise Genest, Anca Muscholl, Olivier Serre, Marc Zeitoun. 332-346 [doi]
- Deciding Bisimilarity of Full BPA Processes LocallyLingyun Luo. 347-360 [doi]
- Optimal Strategy Synthesis in Request-Response GamesFlorian Horn, Wolfgang Thomas, Nico Wallmeier. 361-373 [doi]
- Authentication Revisited: Flaw or Not, the Recursive Authentication ProtocolGuoqiang Li, Mizuhito Ogawa. 374-385 [doi]
- Impartial Anticipation in Runtime-VerificationWei Dong, Martin Leucker, Christian Schallhart. 386-396 [doi]
- Run-Time Monitoring of Electronic ContractsMarcel Kyas, Cristian Prisacariu, Gerardo Schneider. 397-407 [doi]
- Practical Efficient Modular Linear-Time Model-CheckingCarlo A. Furia, Paola Spoletini. 408-417 [doi]
- Passive Testing of Timed SystemsCésar Andrés, Mercedes G. Merayo, Manuel Núñez. 418-427 [doi]