Abstract is missing.
- Software Model Checking with Abstraction RefinementAndreas Podelski. 1-3 [doi]
- Model-Checking and Abstraction to the Aid of Parameterized SystemsAmir Pnueli, Lenore D. Zuck. 4 [doi]
- Behavior-Based Model ConstructionBernhard Steffen, Hardi Hungar. 5-19 [doi]
- Automatic Verification by Abstract InterpretationPatrick Cousot. 20-24 [doi]
- Symmetry Reductions in Model-CheckingA. Prasad Sistla. 25 [doi]
- CHASE: A Static Checker for JML s Assignable ClauseNéstor Cataño, Marieke Huisman. 26-40 [doi]
- Abstract Interpretation-Based Certification of Assembly CodeXavier Rival. 41-55 [doi]
- Property Checking Driven Abstract Interpretation-Based Static AnalysisDamien Massé. 56-69 [doi]
- Optimized Live Heap Bound AnalysisLeena Unnikrishnan, Scott D. Stoller, Yanhong A. Liu. 70-85 [doi]
- Complexity of Nesting Analysis in Mobile AmbientsChiara Braghin, Agostino Cortesi, Riccardo Focardi, Flaminia L. Luccio, Carla Piazza. 86-101 [doi]
- Types for Evolving Communication in Safe AmbientsFrancesca Levi. 102-115 [doi]
- A Logical Encoding of the pi-Calculus: Model Checking Mobile Processes Using Tabled ResolutionPing Yang, C. R. Ramakrishnan, Scott A. Smolka. 116-131 [doi]
- Properties of a Type Abstract InterpreterRoberta Gori, Giorgio Levi. 132-145 [doi]
- Domain Compression for Complete AbstractionsRoberto Giacobazzi, Isabella Mastroeni. 146-160 [doi]
- Abstraction of Expectation Functions Using Gaussian DistributionsDavid Monniaux. 161-173 [doi]
- Lifting Temporal Proofs through AbstractionsKedar S. Namjoshi. 174-188 [doi]
- Efficient Verification of Timed Automata with BDD-Like Data-StructuresFarn Wang. 189-205 [doi]
- On the Expressiveness of 3-Valued ModelsPatrice Godefroid, Radha Jagadeesan. 206-222 [doi]
- Bisimulation and Unwinding for Verifying Possibilistic Security PropertiesAnnalisa Bossi, Riccardo Focardi, Carla Piazza, Sabina Rossi. 223-237 [doi]
- Formal Verification of the Horn-Preneel Micropayment ProtocolKazuhiro Ogata, Kokichi Futatsugi. 238-252 [doi]
- Action Refinement from a Logical Point of ViewMila E. Majster-Cederbaum, Naijun Zhan, Harald Fecher. 253-267 [doi]
- Reasoning about Layered Message Passing SystemsB. Meenakshi, Ramaswamy Ramanujam. 268-282 [doi]
- Using Simulated Execution in Verifying Distributed AlgorithmsToh Ne Win, Michael D. Ernst, Stephen J. Garland, Dilsun Kirli Kaynar, Nancy A. Lynch. 283-297 [doi]
- Efficient Computation of Recurrence DiametersDaniel Kroening, Ofer Strichman. 298-309 [doi]
- Shape Analysis through Predicate Abstraction and Model CheckingDennis Dams, Kedar S. Namjoshi. 310-324 [doi]