default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID14th SPIN 2007: Berlin, Germany
- Dragan Bosnacki, Stefan Edelkamp:
Model Checking Software, 14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings. Lecture Notes in Computer Science 4595, Springer 2007, ISBN 978-3-540-73369-0
Invited Contributions
- Dennis Dams:
StackSnuffer: Curing Orion's Unsoundness. 1 - Lubos Brim, Jiri Barnat:
Tutorial: Parallel Model Checking. 2-3
Directed Model Checking
- Harald Fecher, Sharon Shoham
:
Local Abstraction-Refinement for the mu-Calculus. 4-23 - Paul Gastin, Pierre Moro:
Minimal Counterexample Generation for SPIN. 24-38 - Neha Rungta, Eric G. Mercer:
Generating Counter-Examples Through Randomized Guided Search. 39-57
Partial Order Reduction
- Yu Yang, Xiaofang Chen, Ganesh Gopalakrishnan, Robert M. Kirby:
Distributed Dynamic Partial Order Reduction Based Verification of Threaded Software. 58-75 - Sami Evangelista, Christophe Pajault:
Some Solutions to the Ignoring Problem. 76-94 - Guy Gueta, Cormac Flanagan, Eran Yahav, Mooly Sagiv:
Cartesian Partial-Order Reduction. 95-112
Program Analysis
- Joel P. Self, Eric G. Mercer:
On-the-Fly Dynamic Dead Variable Analysis. 113-130 - Gérard Basler, Daniel Kroening, Georg Weissenbacher:
SAT-Based Summarization for Boolean Programs. 131-148
Exploration Advances
- Kristin Y. Rozier, Moshe Y. Vardi:
LTL Satisfiability Checking. 149-167 - Michael Weber:
An Embeddable Virtual Machine for State Space Generation. 168-186 - Jiri Barnat, Lubos Brim, Petr Rockai:
Scalable Multi-core LTL Model-Checking. 187-203
Modeling and Cases
- Claus Traulsen, Jérôme Cornet, Matthieu Moy, Florence Maraninchi:
A SystemC/TLM Semantics in Promelaand Its Possible Applications. 204-222 - Alberto Lluch-Lafuente:
Towards Model Checking Spatial Properties with SPIN. 223-242 - Pedro de la Cámara, María-del-Mar Gallardo, Pedro Merino:
Model Extraction for ARINC 653 Based Avionics Software. 243-262
Tools
- Radek Pelánek:
BEEM: Benchmarks for Explicit Model Checkers. 263-267 - María-del-Mar Gallardo, Christophe Joubert, Pedro Merino, David Sanán:
C.OPEN and ANNOTATOR: Tools for On-the-Fly Model Checking C Programs. 268-273 - Mohamed Nassim Seghir, Andreas Podelski:
ACSAR: Software Model Checking with Transfinite Refinement. 274-278 - Swarat Chaudhuri, Rajeev Alur:
Instrumenting C Programs with Nested Word Monitors. 279-283
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-11-28 20:35 CET 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:
