Matches in Harvard for { <http://id.lib.harvard.edu/aleph/008872350/catalog> ?p ?o. }
Showing items 1 to 27 of
27
with 100 items per page.
- catalog abstract "Daily life relies more and more on safety critical systems, e.g. in areas such as power plant control, traffic management, flight control, and many more. MOVEP is a school devoted to the broad subject of modeling and verifying software and hardware systems. This volume contains tutorials and annotated bibliographies covering the main subjects addressed at MOVEP 2000. The four tutorials deal with Model Checking, Theorem Proving, Composition and Abstraction Techniques, and Timed Systems. Three research papers give detailed views of High-Level Message Sequence Charts, Industrial Applications of Model Checking, and the use of Formal Methods in Security. Finally, four annotated bibliographies give an overview of Infinite State Space Systems, Testing Transition Systems, Fault-Model-Driven Test Derivation, and Mobile Processes.".
- catalog contributor b12452499.
- catalog contributor b12452500.
- catalog created "c2001.".
- catalog date "2001".
- catalog date "c2001.".
- catalog dateCopyrighted "c2001.".
- catalog description "Daily life relies more and more on safety critical systems, e.g. in areas such as power plant control, traffic management, flight control, and many more. MOVEP is a school devoted to the broad subject of modeling and verifying software and hardware systems. This volume contains tutorials and annotated bibliographies covering the main subjects addressed at MOVEP 2000. The four tutorials deal with Model Checking, Theorem Proving, Composition and Abstraction Techniques, and Timed Systems. Three research papers give detailed views of High-Level Message Sequence Charts, Industrial Applications of Model Checking, and the use of Formal Methods in Security. Finally, four annotated bibliographies give an overview of Infinite State Space Systems, Testing Transition Systems, Fault-Model-Driven Test Derivation, and Mobile Processes.".
- catalog description "Includes bibliographical references and index.".
- catalog description "Model checking: a tutorial overview / Stephan Merz -- Theorem proving for verification / John Rushby -- Composition and abstraction / Antti Valmari -- UPPAAL -- now, next, and future / Tobias Amnell [and others] -- HMSCs as partial specifications ... with PNs as completions / Benoit Caillaud, Philippe Darondeau, Loic Helouet, and Gilles Lesventes -- Industrial applications of model checking / Alessandro Cimatti -- Formal methods in practice: the missing links / Dominique Bolignano, Daniel Le Metayer, and Claire Loiseaux -- Verification of systems with an infinite state space / Javier Esparza -- Testing transition systems: an annotated bibliography / Ed Brinksma and Jan Tretmans -- Fault model-driven test derivation from finite state models: annotated bibliography / Alexandre Petrenko -- Mobile processes: a commented bibliography / Silvano Dal Zilio.".
- catalog extent "x, 222 p. :".
- catalog identifier "3540427872 (softcover : alk. paper)".
- catalog isPartOf "Lecture notes in computer science ; 2067".
- catalog issued "2001".
- catalog issued "c2001.".
- catalog language "eng".
- catalog publisher "Berlin ; New York : Springer,".
- catalog subject "004/.358 21".
- catalog subject "Computer science.".
- catalog subject "Information theory.".
- catalog subject "Parallel processing (Electronic computers)".
- catalog subject "QA76.5 .M69 2000".
- catalog subject "Software engineering.".
- catalog tableOfContents "Model checking: a tutorial overview / Stephan Merz -- Theorem proving for verification / John Rushby -- Composition and abstraction / Antti Valmari -- UPPAAL -- now, next, and future / Tobias Amnell [and others] -- HMSCs as partial specifications ... with PNs as completions / Benoit Caillaud, Philippe Darondeau, Loic Helouet, and Gilles Lesventes -- Industrial applications of model checking / Alessandro Cimatti -- Formal methods in practice: the missing links / Dominique Bolignano, Daniel Le Metayer, and Claire Loiseaux -- Verification of systems with an infinite state space / Javier Esparza -- Testing transition systems: an annotated bibliography / Ed Brinksma and Jan Tretmans -- Fault model-driven test derivation from finite state models: annotated bibliography / Alexandre Petrenko -- Mobile processes: a commented bibliography / Silvano Dal Zilio.".
- catalog title "Modeling and verification of parallel processes : 4th Summer School, MOVEP 2000, Nantes, France, June 19-23, 2000 : revised tutorial lectures / Franck Cassez ... [et al.] (eds.).".
- catalog type "Nantes (2000) swd".
- catalog type "text".