×

zbMATH — the first resource for mathematics

Automated technology for verification and analysis. 10th international symposium, ATVA 2012, Thiruvananthapuram, India, October 3–6, 2012. Proceedings. (English) Zbl 1251.68006
Lecture Notes in Computer Science 7561. Berlin: Springer (ISBN 978-3-642-33385-9/pbk). xiv, 436 p. (2012).

Show indexed articles as search result.

The articles of this volume will be reviewed individually. For the preceding symposium see [Zbl 1223.68004].
Indexed articles:
Palaniappan, Sucheendra K.; Thiagarajan, P. S., Dynamic Bayesian networks: a factored model of probabilistic dynamics, 17-25 [Zbl 1375.68087]
Halamish, Shulamit; Kupferman, Orna, Approximating deterministic lattice automata, 27-41 [Zbl 1375.68073]
Schewe, Sven; Varghese, Thomas, Tight bounds for the determinisation and complementation of generalised Büchi automata, 42-56 [Zbl 1374.68265]
Cassel, Sofia; Jonsson, Bengt; Howar, Falk; Steffen, Bernhard, A succinct canonical register automaton model for data domains with binary relations, 57-71 [Zbl 1374.68256]
Gaiser, Andreas; Křetínský, Jan; Esparza, Javier, Rabinizer: small deterministic automata for \({\mathrm{LTL}(\mathrm{F},\mathrm{G})}\), 72-76 [Zbl 1374.68259]
Pandya, Paritosh K.; Shah, Simoni S., The unary fragments of metric interval temporal logic: bounded versus lower bound constraints, 77-91 [Zbl 1374.03009]
Donzé, Alexandre; Maler, Oded; Bartocci, Ezio; Nickovic, Dejan; Grosu, Radu; Smolka, Scott, On temporal logic and signal processing, 92-106 [Zbl 1374.68278]
Gupta, Ashutosh, Improved single pass algorithms for resolution proof reduction, 107-121 [Zbl 1374.68489]
Grumberg, Orna; Kupferman, Orna; Sheinvald, Sarai, Model checking systems and specifications with parameterized atomic propositions, 122-136 [Zbl 1374.68288]
Ben Sassi, Mohamed Amin; Testylier, Romain; Dang, Thao; Girard, Antoine, Reachability analysis of polynomial systems using linear programming relaxations, 137-151 [Zbl 1375.68077]
Atig, Mohamed Faouzi; Bouajjani, Ahmed; Narayan Kumar, K.; Saivasan, Prakash, Linear-time model-checking for multithreaded programs under scope-bounding, 152-166 [Zbl 1375.68076]
Bouajjani, Ahmed; Drăgoi, Cezara; Enea, Constantin; Sighireanu, Mihaela, Accurate invariant checking for programs manipulating lists and arrays with infinite data, 167-182 [Zbl 1374.68112]
Hojjat, Hossein; Iosif, Radu; Konečný, Filip; Kuncak, Viktor; Rümmer, Philipp, Accelerating interpolants, 187-202 [Zbl 1374.68291]
Fearnley, John; Peled, Doron; Schewe, Sven, Synthesis of succinct systems, 208-222 [Zbl 1374.68282]
Bulychev, Peter; Cassez, Franck; David, Alexandre; Larsen, Kim Guldstrand; Raskin, Jean-François; Reynier, Pierre-Alain, Controllers with minimal observation power (application to timed systems), 223-237 [Zbl 1374.68255]
Güdemann, Matthias; Salaün, Gwen; Ouederni, Meriem, Counterexample guided synthesis of monitors for realizability enforcement, 238-253 [Zbl 1374.68289]
Schwartz-Narbonne, Daniel; Weissenbacher, Georg; Malik, Sharad, Parallel assertions for architectures with weak memory models, 254-268 [Zbl 1374.68106]
Evangelista, Sami; Laarman, Alfons; Petrucci, Laure; van de Pol, Jaco, Improved multi-core nested depth-first search, 269-283 [Zbl 1374.68281]
Saad, Rodrigo T.; Dal Zilio, Silvano; Berthomieu, Bernard, An experiment on parallel model checking of a CTL fragment, 284-299 [Zbl 1374.68299]
Ferrer Fioriti, Luis María; Hahn, Ernst Moritz; Hermanns, Holger; Wachter, Björn, Variable probabilistic abstraction refinement, 300-316 [Zbl 1374.68347]
Forejt, Vojtěch; Kwiatkowska, Marta; Parker, David, Pareto curves for probabilistic model checking, 317-332 [Zbl 1374.68285]
Giro, Sergio; Rabe, Markus N., Verification of partial-information probabilistic systems using counterexample-guided refinements, 333-348 [Zbl 1374.68287]
Neider, Daniel, Computing minimal separating DFAs and regular invariants using SAT and SMT solvers, 354-369 [Zbl 1374.68264]
Becker, Bernd; Ehlers, Rüdiger; Lewis, Matthew; Marin, Paolo, ALLQBF solving by computational learning, 370-384 [Zbl 1374.68487]
Chatterjee, Krishnendu; Chmelík, Martin; Majumdar, Rupak, Equivalence of games with probabilistic uncertainty and partial-observation games, 385-399 [Zbl 1376.91028]
Bollig, Benedikt; Gastin, Paul; Monmege, Benjamin; Zeitoun, Marc, A probabilistic Kleene theorem, 400-415 [Zbl 1374.68253]
Esmaeil Zadeh Soudjani, Sadegh; Abate, Alessandro, Higher-order approximations for verification of stochastic hybrid systems, 416-434 [Zbl 1374.68280]

MSC:
68-06 Proceedings, conferences, collections, etc. pertaining to computer science
68Q60 Specification and verification (program logics, model checking, etc.)
00B25 Proceedings of conferences of miscellaneous specific interest
PDF BibTeX XML Cite
Full Text: DOI