close
1.

図書

図書
Joost-Pieter Katoen, Perdita Stevens (eds.)
出版情報: Berlin : Springer, c2002  xiii, 482 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2280
所蔵情報: loading…
2.

図書

図書
Tiziana Margaria, Wang Yi (eds.)
出版情報: Berlin : Springer, c2001  xiv, 588 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2031
所蔵情報: loading…
目次情報: 続きを見る
Invited Contributions
Branching vs. Linear Time: Final Showdown / M.Y. Vardi
Propositional Reasoning / M.P. Fourman
Symbolic Verification
Language Containment Checking with Nondeterministic BDDs / B. Finkbeiner
Satisfiability Checking Using Boolean Expression Diagrams / P.F. Williams ; H. Reif Andersen ; H. Hulgaard
A Library for Composite Symbolic Representations / T. Yavuz-Kahveci ; M. Tuncer ; T. Bultan
Infinite State Systems: Deduction and Abstraction
Synthesis of Linear Ranking Functions / M.A. Colon ; H.B. Sipma
Automatic Deductive Verification with Invisible Invariants / A. Pnueli ; S. Ruah ; L. Zuck
Incremental Verification by Abstraction / Y. Lakhnech ; S. Bensalem ; S. Berezin ; S. Owre
A Technique for Invariant Generation / A. Tiwari ; H. Rueβ ; H. Saïdi ; N. Shankar
Application of Model Checking Techniques
Model Checking Syllabi and Student Careers / R. Sebastiani ; A. Tomasi ; F. Giunchiglia
Verification of Vortex Workflows / X. Fu ; R. Hull ; J. Su
Parameterized Verification of Multithreaded Software Libraries / T. Ball ; S. Chaki ; S.K. Rajamani
Timed and Probabilistic Systems
Efficient Guiding Towards Cost-Optimality in UPPAAL / G. Behrmann ; A. Fehnker ; T. Hune ; K. Larsen ; P. Pettersson ; J. Romijn
Linear Parametric Model Checking of Timed Automata / M. Stoelinga, ; F. Vaandrager
Abstraction in Probabilistic Process Algebra / S. Andova ; J.CM. Baeten
First Passage Time Analysis of Stochastic Process Algebra Using Partial Orders / T.C. Ruys ; R. Langerak ; J.-P. Katoen ; D. Latella ; M. Massik
Hardware: Design and Verification
Hardware/Software Co-design Using Functional Languages / A. Mycroft ; R. Sharp
Automatic Abstraction of Memories in the Formal Verification of Superscalar Microprocessors / M.N. Velev
Software Verification
Boolean and Cartesian Abstraction for Model Checking C programs / A. Podelski
Finding Feasible Counter-examples when Model Checking Abstracted Java Programs / C.S. Păs&abrebe;reanu ; M.B. Dwyer ; W. Visser
The LOOP Compiler for Java and JML / J. van den Berg ; B. Jacobs
Searching Powerset Automata by Combining Explicit-State and Symbolic Model Checking / A. Crmatti ; M. Roveri ; P. Bertoli
Saturation: An Efficient Iteration Strategy for Symbolic State-Space Generation / G. Ciardo ; G. Lüttgen ; R. Siminiceanu
Testing: Techniques and Tools
Automated Test Generation from Timed Automata / B. Nielsen ; A. Skou
Testing an Intentional Naming Scheme Using Genetic Algorithms / S. Khurshid
Building a Tool for the Analysis and Testing of Web Applications: Problems and Solutions / F. Ricca ; P. Tonella
TATOO: Testing and Analysis Tool for Object-Oriented Software / A.L. Souter ; T.M. Wong ; S.A. Shindo ; L.L. Pollock
Implementation Techniques
Implementing a Multi-valued Symbolic Model Checker / M. Chechik ; B. Devereux ; S. Easterbrook
Is There a Best Symbolic Cycle-Detection Algorithm? / K. Fisler ; R. Fraer ; G. Kamhi ; M. Y. Vardi ; Z. Yang
Combining Structural and Enumerative Techniques for the Validation of Bounded Petri Nets / R. Carvajal-Schiaffino ; G. Delzanno ; G. Chiola
A Sweep-Line Method for State Space Exploration / S. Christensen ; L.M. Kristensen ; T. Mailund
Semantics and Compositional Verification
Assume-Guarantee Based Compositional Reasoning for Synchronous Timing Diagrams / N. Amla ; E.A. Emerson ; K. Namjoshi ; R. Trefler
Simulation Revisited / L. Tan ; R. Cleaveland
Compositional Message Sequence Charts / E.L. Gunter ; A. Muscholl|CD.A. Peled
An Automata Based Interpretation of Live Sequence Charts|CJ. Klose|CH. Wittke
Logics and Model-Checking
Coverage Metrics for Temporal Logic Model Checking|CH. Chockler|CO. Kupferman|CM. Y. Vardi
Parallel Model Checking for the Alternation Free $$-Calculus|CB. Bollig / CM. Leucker ; M. Weber
Model Checking CTL*[DC] / P.K. Pandya
ETAPS Tool Demonstration
CPN/Tools: A Tool for Editing and Simulating Coloured Petri Nets ETAPS Tool Demonstration Related to TACAS / M. Beaudomn-Lafon ; W.E. Mackay ; M. Jensen ; P. Andersen ; P. Janecek ; M. Lassen ; K. Lund ; K. Mortensen ; S. Munck ; A. Ratzer ; K. Ravn ; K. Jensen
The ASM Workbench: A Tool Environment for Computer-Aided Analysis and Validation of Abstract State Machine Models / G. Del Castillo
The Erlang Verification Tool / T. Noll ; L. Fredlund ; D. Gurov
Author Index
Invited Contributions
Branching vs. Linear Time: Final Showdown / M.Y. Vardi
Propositional Reasoning / M.P. Fourman
3.

図書

図書
Hubert Garavel, John Hatcliff (eds.)
出版情報: Berlin ; Tokyo : Springer, c2003  xvi, 604 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2619
所蔵情報: loading…
4.

図書

図書
Nicolas Halbwachs, Lenore D. Zuck (eds.)
出版情報: Berlin ; Tokyo : Springer, c2005  xvii, 588 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3440
所蔵情報: loading…
5.

図書

図書
Holger Hermanns, Jens Palsberg (eds.)
出版情報: Berlin : Springer, c2006  xvi, 506 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 3920
所蔵情報: loading…
6.

図書

図書
Susanne Graf, Michael Schwartzbach (eds.)
出版情報: Berlin : Springer, c2000  xiv, 552 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1785
所蔵情報: loading…
目次情報: 続きを見る
Invited Contribution
On the Construction of Automata from Linear Arithmetic Constraints / Pierre Wolper ; Bernard Boigelot
Software and Formal Methods Tools
An Extensible Type Systemfor Component-Based Design / Yuhong Xiong ; Edward A. Lee
Proof General: A Generic Tool for Proof Development / David Aspinall
ViewPoint-Oriented Software Development: Tool Support for Integrating Multiple Perspectives by Distributed Graph Transformation / Michael Goedicke ; Bettina Enders ; Torsten Meyer ; Gabriele Taentzer
Formal Methods Tools
Consistent Integration of Formal Methods / Peter Braun ; Heiko Lötzbeyer ; Bernhard Schätz ; Oscar Slotosch
An Architecture for Interactive Program Provers / Jörg Meyer ; Arnd Poetzsch-Heffter
The PROSPER Toolkit / Louise A. Dennis ; Graham Collins ; Michael Norrish ; Richard Boulton ; Konrad Slind ; Graham Robinson ; Mike Gordon ; Tom Melham
CASL: From Semantics to Tools / Till Mossakowski
Timed and Hybrid Systems
On the Construction of Live Timed Systems / Sébastien Bornot ; Gregor Gößler ; Joseph Sifakis
On Memory-Block Traversal Problems in Model-Checking Timed Systems / Fredrik Larsson ; Paul Pettersson ; Wang Yi
Symbolic Model Checking for Rectangular Hybrid Systems / Thomas A. Henzinger ; Rupak Majumdar
Efficient Data Structure for Fully Symbolic Verification of Real-Time Software Systems / Farn Wang
Infinite and Parameterized Systems
Verification of Parameterized Systems Using Logic Program Transformations / Abhik Roychoudhury ; K. Narayan Kumar ; C.R. Ramakrishnan ; I. V. Ramakrishnan ; Scott A. Smolka
Abstracting WS1S Systems to Verify Parameterized Networks / Kai Baukus ; Saddek Bensalem ; Yassine Lakhnech ; Karsten Stahl
FMona: A Tool for Expressing Validation Techniques over Infinite State Systems / J.-P. Bodeveix ; M. Filali
Transitive Closures of Regular Relations for Verifying Infinite-State Systems / Bengt Jonsson ; Marcus Nilsson
Diagnostic and Test Generation
Using Static Analysis to Improve Automatic Test Generation / Marius Bozga ; Jean-Claude Fernandez ; Lucian Ghirvu
Efficient Diagnostic Generation for Boolean Equation Systems / Radu Mateescu
Efficient Model-Checking
Compositional State Space Generation with Partial Order Reductions for Asynchronous Communicating Systems / Jean-Pierre Krimm ; Laurent Mounier
Checking for CFFD-Preorder with Tester Processes / Juhana Helovuo ; Antti Valmari
Fair Bisimulation / Sriram K. Rajamani
Integrating Low Level Symmetries into Reachability Analysis / Karsten Schmidt
Model-Checking Tools
Model Checking Support for the ASM High-Level Language / Giuseppe Del Castillo ; Kirsten Winter
A Markov Chain Model Checker / Holger Hermanns ; Joost-Pieter Katoen ; Joachim Meyer-Kayser ; Markus Siegle
Model Checking SDL with Spin / Dragan Bošnački ; Dennis Dams ; Leszek Holenderski ; Natalia Sidorova
Salsa: Combining Constraint Solvers with BDDs for Automatic Invariant Checking / Ramesh Bharadwaj ; Steve Sims
Symbolic Model-Checking
Symbolic Model Checking of Probabilistic Processes Using MTBDDs and the Kronecker Representation / Luca de Alfaro ; Marta Kwiatkowska ; Gethin Norman ; David Parker ; Roberto Segala
Symbolic Reachability Analysis Based on SAT-Solvers / Parosh Aziz Abdulla ; Per Bjesse ; Niklas Eén
Symbolic Representation of Upward-Closed Sets / Giorgio Delzanno ; Jean-François Raskin
BDD vs. Constraint-Based Model Checking: An Experimental Evaluation for Asynchronous Concurrent Systems / Tevfik Bultan
Visual Tools
Tool-Based Specification of Visual Languages and Graphic Editors / Magnus Niemann ; Roswitha Bardohl
VIP: A Visual Editor and Compiler for v-Promela / Moataz Kamel ; Stefan Leue
Verification of Critical Systems
A Comparison of Two Verification Methods for Speculative Instruction Execution / Tamarah Arons ; Amir Pnueli
Partial Order Reductions for Security Protocol Verification / Edmund Clarke ; Somesh Jha ; Will Marrero
Model Checking Security Protocols Using a Logic of Belief / Massimo Benerecetti ; Fausto Giunchiglia
A Formal Specification and Validation of a Critical System in Presence of Byzantine Errors / S. Gnesi ; D. Latella ; G. Lenzini ; C. Abbaneo ; A. Amendola ; P. Marmo
Author Index
Invited Contribution
On the Construction of Automata from Linear Arithmetic Constraints / Pierre Wolper ; Bernard Boigelot
Software and Formal Methods Tools
7.

図書

図書
Tiziana Margaria, Bernhard Steffen, (eds.)
出版情報: Berlin : Springer, c1996  xi, 434 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1055
所蔵情報: loading…
8.

図書

図書
Kurt Jensen, Andreas Podelski (eds.)
出版情報: Berlin ; Tokyo : Springer, c2004  xiv, 608 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 2988
所蔵情報: loading…
9.

図書

図書
Ed Brinksma (ed.)
出版情報: Berlin : Springer, c1997  x, 431 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1217
所蔵情報: loading…
10.

図書

図書
E. Brinksma ... [et al.], (eds.)
出版情報: Berlin ; New York : Springer, c1995  289 p. ; 24 cm
シリーズ名: Lecture notes in computer science ; 1019
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼