![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
16th TACAS 2010: Paphos, Cyprus (Part of ETAPS 2010)
- Javier Esparza, Rupak Majumdar:
Tools and Algorithms for the Construction and Analysis of Systems, 16th International Conference, TACAS 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings. Lecture Notes in Computer Science 6015, Springer 2010, ISBN 978-3-642-12001-5
Invited Talks
- Joseph Sifakis:
Embedded Systems Design - Scientific Challenges and Work Directions. 1 - Laurent Doyen, Jean-François Raskin:
Antichain Algorithms for Finite Automata. 2-22
Probabilistic Systems and Optimization
- Marta Z. Kwiatkowska, Gethin Norman
, David Parker
, Hongyang Qu:
Assume-Guarantee Verification for Probabilistic Systems. 23-37 - Antti Valmari, Giuliana Franceschinis:
Simple O(m logn) Time Markov Chain Lumping. 38-52 - Lijun Zhang, Martin R. Neuhäußer:
Model Checking Interactive Markov Chains. 53-68 - Julien Legriel, Colas Le Guernic, Scott Cotton
, Oded Maler:
Approximating the Pareto Front of Multi-criteria Optimization Problems. 69-83
Decision Procedures
- Sébastien Bardin, Philippe Herrmann, Florian Perroud:
An Alternative to SAT-Based Approaches for Bit-Vectors. 84-98 - Alessandro Cimatti
, Anders Franzén, Alberto Griggio
, Roberto Sebastiani, Cristian Stenico:
Satisfiability Modulo the Theory of Costs: Foundations and Applications. 99-113 - Rajeev Goré, Clemens Kupke
, Dirk Pattinson:
Optimal Tableau Algorithms for Coalgebraic Logics. 114-128 - Matti Järvisalo
, Armin Biere
, Marijn Heule:
Blocked Clause Elimination. 129-144
Tools I
- Gérard Basler, Matthew Hague
, Daniel Kroening
, C.-H. Luke Ong
, Thomas Wahl, Haoxian Zhao:
Boom: Taking Boolean Program Model Checking One Step Further. 145-149 - Roberto Bruttomesso, Edgar Pek, Natasha Sharygina, Aliaksei Tsitovich:
The OpenSMT Solver. 150-153 - Fang Yu, Muath Alkhalaf, Tevfik Bultan:
Stranger: An Automata-Based String Analysis Tool for PHP. 154-157
Automata Theory
- Parosh Aziz Abdulla, Yu-Fang Chen, Lukás Holík
, Richard Mayr, Tomás Vojnar
:
When Simulation Meets Antichains. 158-174 - Sebastian S. Bauer, Philip Mayer, Andreas Schroeder, Rolf Hennicker:
On Weak Modal Compatibility, Refinement, and the MIO Workbench. 175-189 - Dana Fisman
, Orna Kupferman, Yoad Lustig:
Rational Synthesis. 190-204 - Seth Fogarty, Moshe Y. Vardi:
Efficient Büchi Universality Checking. 205-220
Liveness
- Markus Aderhold:
Automated Termination Analysis for Programs with Second-Order Recursion. 221-235 - Byron Cook, Daniel Kroening
, Philipp Rümmer, Christoph M. Wintersteiger
:
Ranking Function Synthesis for Bit-Vector Relations. 236-250 - Jochen Hoenicke
, Ernst-Rüdiger Olderog, Andreas Podelski:
Fairness for Dynamic Control. 251-265
Tools II
- Axel Belinfante:
JTorX: A Tool for On-Line Model-Driven Test Derivation and Execution. 266-270 - Klaus Dräger, Andrey Kupriyanov, Bernd Finkbeiner, Heike Wehrheim:
SLAB: A Certifying Model Checker for Infinite-State Concurrent Systems. 271-274 - Jules Villard
, Étienne Lozes, Cristiano Calcagno:
Tracking Heaps That Hop with Heap-Hop. 275-279
Software Verification
- Alastair F. Donaldson, Daniel Kroening
, Philipp Rümmer:
Automatic Analysis of Scratch-Pad Memory Code for Heterogeneous Multicore Processors. 280-295 - Tayfun Elmas, Shaz Qadeer, Ali Sezgin, Omer Subasi, Serdar Tasiran:
Simplifying Linearizability Proofs with Reduction and Abstraction. 296-311 - K. Rustan M. Leino, Philipp Rümmer:
A Polymorphic Intermediate Verification Language: Design and Logical Encoding. 312-327 - Chao Wang, Rhishikesh Limaye, Malay K. Ganai, Aarti Gupta:
Trace-Based Symbolic Analysis for Atomicity Violations. 328-342
Tools III
- Karin Avnit, Arcot Sowmya, Jorgen Peddersen:
ACS: Automatic Converter Synthesis for SoC Bus Protocols. 343-348 - Didier Buchs, Steve Hostettler, Alexis Marechal, Matteo Risoldi:
AlPiNA: An Algebraic Petri Net Analyzer. 349-352 - Ernst Moritz Hahn, Holger Hermanns, Björn Wachter, Lijun Zhang:
PASS: Abstraction Refinement for Infinite Probabilistic Models. 353-357
Real Time and Information Flow
- Matthieu Moy, Karine Altisen:
Arrival Curves for Real-Time Calculus: The Causality Problem and Its Solutions. 358-372 - Miguel E. Andrés, Catuscia Palamidessi
, Peter van Rossum, Geoffrey Smith:
Computing the Leakage of Information-Hiding Systems. 373-389 - Konstantinos Chatzikokolakis, Tom Chothia, Apratim Guha:
Statistical Measurement of Information Leakage. 390-404 - Janusz Malinowski, Peter Niebert:
SAT Based Bounded Model Checking with Partial Order Semantics for Timed Automata. 405-419
Testing
- Thomas Ball, Sebastian Burckhardt, Katherine E. Coons, Madanlal Musuvathi, Shaz Qadeer:
Preemption Sealing for Efficient Concurrency Testing. 420-434 - Gal Katz, Doron A. Peled:
Code Mutation in Verification and Automatic Code Correction. 435-450 - Pavel Parízek
, Tomas Kalibera:
Efficient Detection of Errors in Java Components Using Random Environment and Restarts. 451-465
![](https://dblp.org/img/cog.dark.24x24.png)
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.