E-Book, Englisch, 263 Seiten, eBook
van der Pol / Weber Model Checking Software
Erscheinungsjahr 2010
ISBN: 978-3-642-16164-3
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings
E-Book, Englisch, 263 Seiten, eBook
Reihe: Theoretical Computer Science and General Issues
ISBN: 978-3-642-16164-3
Verlag: Springer
Format: PDF
Kopierschutz: 1 - PDF Watermark
Zielgruppe
Professional/practitioner
Autoren/Hrsg.
Weitere Infos & Material
Satisfiability Modulo Theories for Model Checking.- SMT-Based Software Model Checking.- Symbolic Object Code Analysis.- Model Checking in Context.- Experimental Comparison of Concolic and Random Testing for Java Card Applets.- Combining SPIN with ns-2 for Protocol Optimization.- Automatic Generation of Model Checking Scripts Based on Environment Modeling.- Implementation and Performance of Model Checking.- Model Checking: Cleared for Take Off.- Context-Enhanced Directed Model Checking.- Efficient Explicit-State Model Checking on General Purpose Graphics Processors.- The SpinJa Model Checker.- LTL and Büchi Automata.- On the Virtue of Patience: Minimizing Büchi Automata.- Enacting Declarative Languages Using LTL: Avoiding Errors and Improving Performance.- Nevertrace Claims for Model Checking.- Infinite State Models.- A False History of True Concurrency: From Petri to Tools.- Analysing Mu-Calculus Properties of Pushdown Systems.- Time-Bounded Reachability in Distributed Input/Output Interactive Probabilistic Chains.- An Automata-Based Symbolic Approach for Verifying Programs on Relaxed Memory Models.- Concurrent Software.- Context-Bounded Translations for Concurrent Software: An Empirical Evaluation.- One Stack to Run Them All.
