Abstract is missing.
- Abstract Interpretation of Non-monotone Bi-inductive Semantic DefinitionsRadhia Cousot. 1-3 [doi]
- CTL as an Intermediate LanguageNeil D. Jones, René Rydhof Hansen. 4 [doi]
- Multi-valued Logics, Automata, Simulations, and GamesOrna Kupferman, Yoad Lustig. 5 [doi]
- Verification of Register AllocatorsJens Palsberg. 6 [doi]
- Program Analysis and Programming Languages for SecurityMarco Pistoia. 7 [doi]
- An Improved Tight Closure Algorithm for Integer Octagonal ConstraintsRoberto Bagnara, Patricia M. Hill, Enea Zaffanella. 8-21 [doi]
- Handling Parameterized Systems with Non-atomic Global ConditionsParosh Aziz Abdulla, Noomene Ben Henda, Giorgio Delzanno, Ahmed Rezine. 22-36 [doi]
- Abstract Interpretation of the Physical Inputs of Embedded ProgramsOlivier Bouissou, Matthieu Martel. 37-51 [doi]
- Diagnostic Information for RealizabilityAlessandro Cimatti, Marco Roveri, Viktor Schuppan, Andrei Tchaltsev. 52-67 [doi]
- Approximation Refinement for Interpolation-Based Model CheckingVijay D Silva, Mitra Purandare, Daniel Kroening. 68-82 [doi]
- Abstract Interpretation of Cellular Signalling NetworksVincent Danos, Jérôme Feret, Walter Fontana, Jean Krivine. 83-97 [doi]
- Is Lazy Abstraction a Decision Procedure for Broadcast Protocols?Rayna Dimitrova, Andreas Podelski. 98-111 [doi]
- Model Checking for Action AbstractionHarald Fecher, Michael Huth. 112-126 [doi]
- On Bridging Simulation and Formal VerificationEugene Goldberg. 127-141 [doi]
- Extending Model Checking with Dynamic AnalysisAlex Groce, Rajeev Joshi. 142-156 [doi]
- Deriving Bisimulations by Simplifying PartitionsIsabella Mastroeni. 157-171 [doi]
- Precise Set Sharing Analysis for Java-Style ProgramsMario Méndez-Lojo, Manuel V. Hermenegildo. 172-187 [doi]
- Sufficient Preconditions for Modular Assertion CheckingYannick Moy. 188-202 [doi]
- Runtime Checking for Separation LogicHuu Hai Nguyen, Viktor Kuncak, Wei-Ngan Chin. 203-217 [doi]
- Decision Procedures for Multisets with Cardinality ConstraintsRuzica Piskac, Viktor Kuncak. 218-232 [doi]
- All You Need Is CompassionAmir Pnueli, Yaniv Sa ar. 233-247 [doi]
- A Forward-Backward Abstraction Refinement AlgorithmFrancesco Ranzato, Olivia Rossi-Doria, Francesco Tapparo. 248-262 [doi]
- Internal and External Logics of Abstract InterpretationsDavid A. Schmidt. 263-278 [doi]
- From LTL to Symbolically Represented Deterministic AutomataAndreas Morgenstern, Klaus Schneider. 279-293 [doi]
- Monitoring Temporal Properties of Stochastic SystemsA. Prasad Sistla, Abhigna R. Srinivas. 294-308 [doi]
- A Hybrid Algorithm for LTL GamesSaqib Sohail, Fabio Somenzi, Kavita Ravi. 309-323 [doi]