Logical Methods in Computer Science, Special Issue 24

> Home > Journals > Logical Methods in Computer Science

Special Issue: Selected Papers of the Confrence "Tools and Algorithms for the Construction and Analysis of Systems 2011" [TACAS 2011]

- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1206-4444
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1206-4444
Tino Teige, Martin Fränzle:
Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems with Applications to Probabilistic State Reachability and Region Stability.
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1206-3182
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1206-3182
Alessandro Cimatti, Iman Narasamdya, Marco Roveri:
Software Model Checking with Explicit Scheduler and Symbolic Threads.
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1010-4422
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1010-4422
Alberto Griggio, Thi Thieu Hoa Le, Roberto Sebastiani:
Efficient Interpolant Generation in Satisfiability Modulo Linear Integer Arithmetic.
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1207-3262
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1207-3262
Sylvain Conchon, Evelyne Contejean, Mohamed Iguernelala:
Canonized Rewriting and Ground AC Completion Modulo Shostak Theories : Design and Implementation.
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1207-7167
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1207-7167
Wonchan Lee, Yungbum Jung, Bow-Yaw Wang, Kwangkeun Yi:
Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference.
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1208-2159
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1208-2159
Harro Wimmel, Karsten Wolf:
Applying CEGAR to the Petri Net State Equation.
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1207-6267
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1207-6267
Nathalie Bertrand, Thierry Jéron, Amélie Stainer, Moez Krichen:
Off-line test selection with test purposes for non-deterministic timed automata.

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.