close
1.

図書

図書
Dragan Bošnački, Stefan Leue (eds.)
出版情報: Berlin : Springer, c2002  x, 257 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2318
所蔵情報: loading…
目次情報: 続きを見る
Invited Talks
SAT-Based Counterexample Guided Abstraction Refinement / Edmund M. Clarke
Abstract Interpretation: Theory and Practice / Patrick Cousot
Invited Tutorial
SPIN Tutorial: How to Become a SPIN Doctor / Theo C. Ruys
Tutorial
Abstraction in Software Model Checking: Principles and Practice / Dennis Dams
Software Model Checking
Symmetry Reduction Criteria for Software Model Checking / Radu Iosif
Bytecode Model Checking: An Experimental Analysis / David Basin ; Stefan Friedrich ; Marek Gawkowski ; Joachim Posegga
The Influence of Software Module Systems on Modular Verification / Harry C. Li ; Kathi Fisler ; Shriram Krishnamurthi
Extending the Translation from SDL to Promela / Armelle Prigent ; Franck Cassez ; Philippe Dhaussy ; Olivier Roux
Algorithms and Theoretical Foundations
Model Checking Knowledge and Time / Wiebe van der Hoek ; Michael Wooldridge
Partial Order Reduction in Directed Model Checking / Alberto Lluch-Lafuente ; Stefan Edelkamp ; Stefan Leue
Local Parallel Model Checking for the Alternation-Free µ-Calculus / Benedikt Bollig ; Martin Leucker ; Michael Weber
Applications
The Agreement Problem Protocol Verification Environment / J.S. Pascoe ; R.J. Loader ; V.S. Sunderam
Bottleneck Analysis of a Gigabit Network Interface Card: Formal Verification Approach / Hyun-Wook Jin ; Ki-Seok Bang ; Chuck Yoo ; Jin-Young Choi ; Ho-jung Cha
Using SPIN to Verify Security Properties of Cryptographic Protocols / Paolo Maggi ; Riccardo Sisto
Work in Progress
Modeling and Verification of Interactive Flexible Multimedia Presentations Using PROMELA/SPIN / Ramazan Savas Aygun ; Aidong Zhang
SPINning Parallel Systems Software / Olga Shumsky Matlin ; Ewing Lusk ; William McCune
Dynamic Bounds and Transition Merging for Local First Search / D. Lugiez ; P. Niebert ; S. Zennou
Invited Industrial Presentations
Comparing Symbolic and Explicit Model Checking of a Software System / Cindy Eisner ; Doron Peled
Industrial Model Checking Based on Satisfiability Solvers / Per Bjesse
A Typical Testing Problem: Validating WML Cellphones / Yves-Marie Quemener
Model Checking Tools
Heuristic Model Checking for Java Programs / Alex Groce ; Willem Visser
System Specification and Verification Using High Level Concepts - A Tool Demonstration / Christian Stehno
Demonstration of an Automated Integrated Test Environment for Web-Based Applications / Tiziana Margaria ; Oliver Niese ; Bernhard Steffen
αSPIN: Extending SPIN with Abstraction / María del Mar Gallardo ; Jesús Martinez ; Pedro Merino ; Ernesto Pimentel
Author Index
Invited Talks
SAT-Based Counterexample Guided Abstraction Refinement / Edmund M. Clarke
Abstract Interpretation: Theory and Practice / Patrick Cousot
2.

図書

図書
Stefan Leue, Tarja Johanna Systä (eds.)
出版情報: Berlin : Springer, c2005  xii, 277 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3466
所蔵情報: loading…
3.

図書

図書
edited by Dieter Hogrefe and Stefan Leue
出版情報: London ; Tokyo : Chapman & Hall on behalf of the International Federation for Information Processing, 1995  x, 520 p. ; 25 cm
所蔵情報: loading…
4.

電子ブック

EB
Stefan Leue, Pedro Merino
出版情報: Springer eBooks Computer Science , Springer Berlin Heidelberg, 2008
所蔵情報: loading…
5.

電子ブック

EB
David Hutchison, Takeo Kanade, Stefan Leue, Tarja Johanna Systä
出版情報: Springer eBooks Computer Science , Springer Berlin / Heidelberg, 2005
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼