Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID17th SPIN 2010: Enschede, The Netherlands
- Jaco van de Pol, Michael Weber:
Model Checking Software - 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings. Lecture Notes in Computer Science 6349, Springer 2010, ISBN 978-3-642-16163-6
Satisfiability Modulo Theories for Model Checking
- Alessandro Cimatti
:
SMT-Based Software Model Checking. 1-3 - Jan Tobias Mühlberg, Gerald Lüttgen:
Symbolic Object Code Analysis. 4-21
Model Checking in Context
- Kari Kähkönen, Roland Kindermann, Keijo Heljanko, Ilkka Niemelä:
Experimental Comparison of Concolic and Random Testing for Java Card Applets. 22-39 - Pedro Merino, Alberto Salmerón:
Combining SPIN with ns-2 for Protocol Optimization. 40-57 - Kenro Yatake, Toshiaki Aoki:
Automatic Generation of Model Checking Scripts Based on Environment Modeling. 58-75
Implementation and Performance of Model Checking
- Darren D. Cofer:
Model Checking: Cleared for Take Off. 76-87 - Martin Wehrle, Sebastian Kupferschmid:
Context-Enhanced Directed Model Checking. 88-105 - Stefan Edelkamp, Damian Sulewski:
Efficient Explicit-State Model Checking on General Purpose Graphics Processors. 106-123 - Marc de Jonge, Theo C. Ruys:
The SpinJa Model Checker. 124-128
LTL and Büchi Automata
- Rüdiger Ehlers, Bernd Finkbeiner:
On the Virtue of Patience: Minimizing Büchi Automata. 129-145 - Maja Pesic, Dragan Bosnacki, Wil M. P. van der Aalst:
Enacting Declarative Languages Using LTL: Avoiding Errors and Improving Performance. 146-161 - Zhe Chen, Gilles Motet:
Nevertrace Claims for Model Checking. 162-179
Infinite State Models
- Javier Esparza:
A False History of True Concurrency: From Petri to Tools. 180-186 - Matthew Hague, C.-H. Luke Ong:
Analysing Mu-Calculus Properties of Pushdown Systems. 187-192 - Georgel Calin, Pepijn Crouzen, Pedro R. D'Argenio, Ernst Moritz Hahn, Lijun Zhang:
Time-Bounded Reachability in Distributed Input/Output Interactive Probabilistic Chains. 193-211 - Alexander Linden, Pierre Wolper:
An Automata-Based Symbolic Approach for Verifying Programs on Relaxed Memory Models. 212-226
Concurrent Software
- Naghmeh Ghafari, Alan J. Hu, Zvonimir Rakamaric:
Context-Bounded Translations for Concurrent Software: An Empirical Evaluation. 227-244 - Nicholas Kidd, Suresh Jagannathan, Jan Vitek:
One Stack to Run Them All - Reducing Concurrent Analysis to Sequential Analysis under Priority Scheduling. 245-261
a service of 
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.
last updated on 2024-04-26 17:29 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
