Automated technology for verification and analysis : 6th international symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008 ; proceedings (Englisch)
- Neue Suche nach: ATVA
- Weitere Informationen zu ATVA:
- http://d-nb.info/gnd/10360094-2
- Neue Suche nach: Cha, Sungdeok
- Weitere Informationen zu Cha, Sungdeok:
- http://d-nb.info/gnd/136438237
- Neue Suche nach: Choi, Jin-Young
- Neue Suche nach: Kim, Moonzoo
- Neue Suche nach: Lee, Insup
- Neue Suche nach: Viswanathan, Mahesh
- Neue Suche nach: ATVA
- Weitere Informationen zu ATVA:
- http://d-nb.info/gnd/10360094-2
2008
-
ISBN:
- Konferenzband / Print
-
Titel:Automated technology for verification and analysis : 6th international symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008 ; proceedings
-
Beteiligte:Cha, Sungdeok ( Herausgeber:in ) / Choi, Jin-Young / Kim, Moonzoo / Lee, Insup / Viswanathan, Mahesh / ATVA
-
Kongress:ATVA ; 6 ; 2008 ; Seoul
International Symposium on Automated Technology for Verification and Analysis ; 6 ; 2008 ; Seoul -
Erschienen in:
-
Verlag:
- Neue Suche nach: Springer
-
Erscheinungsort:Berlin , Heidelberg [u.a.]
-
Erscheinungsdatum:2008
-
Format / Umfang:XIV, 430 S.
-
Anmerkungen:235 mm x 155 mm
graph. Darst.
Literaturangaben
Langzeitarchivierung durch Badische Landesbibliothek -
ISBN:
-
Medientyp:Konferenzband
-
Format:Print
-
Sprache:Englisch
- Neue Suche nach: 005.26
- Weitere Informationen zu Dewey Decimal Classification
- Neue Suche nach: 68Q60 / 00B25 / *68-06
- Weitere Informationen zu Mathematics Subject Classification
- Neue Suche nach: 54.50 / 53.55 / 54.10 / 54.30
- Weitere Informationen zu Basisklassifikation
-
Schlagwörter:
-
Klassifikation:
-
Datenquelle:
Inhaltsverzeichnis Konferenzband
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
Tests, Proofs and RefinementsRajamani, S.K. et al. | 2008
- 3
-
Formal Verification and BiologyDill, D.L. et al. | 2008
- 4
-
Trust and Automation in Verification ToolsShankar, N. et al. | 2008
- 18
-
CTL Model-Checking with Graded QuantifiersFerrante, A. / Napoli, M. / Parente, M. et al. | 2008
- 33
-
Genetic Programming and Model Checking: Synthesizing New Mutual Exclusion AlgorithmsKatz, G. / Peled, D. et al. | 2008
- 48
-
Computation Tree Regular Logic for Genetic Regulatory NetworksMateescu, R. / Monteiro, P.T. / Dumas, E. / de Jong, H. et al. | 2008
- 64
-
Compositional Verification for Component-Based Systems and ApplicationBensalem, S. / Bozga, M. / Sifakis, J. / Nguyen, T.-H. et al. | 2008
- 80
-
A Direct Algorithm for Multi-valued Bounded Model CheckingAndrade, J.O. / Kameyama, Y. et al. | 2008
- 95
-
Model Checking Recursive Programs with Exact Predicate AbstractionGurfinkel, A. / Wei, O. / Chechik, M. et al. | 2008
- 111
-
Loop Summarization Using Abstract TransformersKroening, D. / Sharygina, N. / Tonetta, S. / Tsitovich, A. / Wintersteiger, C.M. et al. | 2008
- 126
-
Dynamic Model Checking with Property Driven Pruning to Detect Race ConditionsWang, C. / Yang, Y. / Gupta, A. / Gopalakrishnan, G. et al. | 2008
- 141
-
Automating Algebraic Specifications of Non-freely Generated Data TypesDunets, A. / Schellhorn, G. / Reif, W. et al. | 2008
- 156
-
Interpolants for Linear Arithmetic in SMTLynch, C. / Tang, Y. et al. | 2008
- 171
-
SAT Modulo ODE: A Direct SAT Approach to Hybrid SystemsEggers, A. / Franzle, M. / Herde, C. et al. | 2008
- 186
-
SMELS: Satisfiability Modulo Equality with Lazy SuperpositionLynch, C. / Tran, D.-K. et al. | 2008
- 201
-
Controllable Test Cases for the Distributed Test ArchitectureHierons, R.M. / Merayo, M.G. / Nunez, M. et al. | 2008
- 216
-
Goanna: Syntactic Software Model CheckingHuuck, R. / Fehnker, A. / Seefried, S. / Brauer, J. et al. | 2008
- 222
-
A Dynamic Assertion-Based Verification Platform for Validation of UML DesignsBanerjee, A. / Ray, S. / Dasgupta, P. / Chakrabarti, P.P. / Ramesh, S. / Ganesan, P.V.V. et al. | 2008
- 228
-
CheckSpec: A Tool for Consistency and Coverage Analysis of Assertion SpecificationsBanerjee, A. / Datta, K. / Dasgupta, P. et al. | 2008
- 234
-
DiVinE Multi-Core - A Parallel LTL Model-CheckerBarnat, J. / Brim, L. / Rockai, P. et al. | 2008
- 240
-
Alaska: Antichains for Logic, Automata and Symbolic Kripke Structures AnalysisDe Wulf, M. / Doyen, L. / Maquet, N. / Raskin, J.-F. et al. | 2008
- 246
-
NetQi: A Model Checker for Anticipation GameBursztein, E. et al. | 2008
- 252
-
Component-Based Design and Analysis of Embedded Systems with UPPAAL PORTHakansson, J. / Carlson, J. / Monot, A. / Pettersson, P. / Slutej, D. et al. | 2008
- 258
-
Time-Progress Evaluation for Dense-Time Automata with Concave Path ConditionsWang, F. et al. | 2008
- 274
-
Decidable Compositions of O-Minimal AutomataCasagrande, A. / Corvaja, P. / Piazza, C. / Mishra, B. et al. | 2008
- 289
-
On the Applicability of Stochastic Petri Nets for Analysis of Multiserver Retrial Systems with Different Vacation PoliciesGharbi, N. et al. | 2008
- 303
-
Model Based Importance Analysis for Minimal Cut SetsBode, E. / Peikenkamp, T. / Rakow, J. / Wischmeyer, S. et al. | 2008
- 318
-
Approximate Invariant Property Checking Using Term-Height Reduction for a Subset of First-Order LogicShimizu, H. / Hamaguchi, K. / Kashiwabara, T. et al. | 2008
- 332
-
Tree Pattern Rewriting SystemsGenest, B. / Muscholl, A. / Serre, O. / Zeitoun, M. et al. | 2008
- 347
-
Deciding Bisimilarity of Full BPA Processes LocallyLuo, L. et al. | 2008
- 361
-
Optimal Strategy Synthesis in Request-Response GamesHorn, F. / Thomas, W. / Wallmeier, N. et al. | 2008
- 374
-
Authentication Revisited: Flaw or Not, the Recursive Authentication ProtocolLi, G. / Ogawa, M. et al. | 2008
- 386
-
Impartial Anticipation in Runtime-VerificationDong, W. / Leucker, M. / Schallhart, C. et al. | 2008
- 397
-
Run-Time Monitoring of Electronic ContractsKyas, M. / Prisacariu, C. / Schneider, G. et al. | 2008
- 408
-
Practical Efficient Modular Linear-Time Model-CheckingFuria, C.A. / Spoletini, P. et al. | 2008
- 418
-
Passive Testing of Timed SystemsAndres, C. / Merayo, M.G. / Nunez, M. et al. | 2008