More Anti-chain Based Refinement Checking (Englisch)
- Neue Suche nach: Wang, T.
- Neue Suche nach: Song, S.
- Neue Suche nach: Sun, J.
- Neue Suche nach: Liu, Y.
- Neue Suche nach: Dong, J.S.
- Neue Suche nach: Wang, X.
- Neue Suche nach: Li, S.
- Neue Suche nach: Wang, T.
- Neue Suche nach: Song, S.
- Neue Suche nach: Sun, J.
- Neue Suche nach: Liu, Y.
- Neue Suche nach: Dong, J.S.
- Neue Suche nach: Wang, X.
- Neue Suche nach: Li, S.
- Neue Suche nach: Aoki, Toshiaki
- Neue Suche nach: Taguchi, Kenji
In:
Formal methods and software engineering: 14th International Conference, ICFEM 2012, Kyoto, Japan, November 12-16 2012 : proceedings /
7635
;
364-380
;
2012
-
ISBN:
-
ISSN:
- Aufsatz (Konferenz) / Print
-
Titel:More Anti-chain Based Refinement Checking
-
Beteiligte:Wang, T. ( Autor:in ) / Song, S. ( Autor:in ) / Sun, J. ( Autor:in ) / Liu, Y. ( Autor:in ) / Dong, J.S. ( Autor:in ) / Wang, X. ( Autor:in ) / Li, S. ( Autor:in ) / Aoki, Toshiaki / Taguchi, Kenji
-
Kongress:14th, Formal methods and software engineering: 14th International Conference, ICFEM 2012, Kyoto, Japan, November 12-16 2012 : proceedings / ; 2012 ; Kyoto, Japan
-
Erschienen in:Formal methods and software engineering: 14th International Conference, ICFEM 2012, Kyoto, Japan, November 12-16 2012 : proceedings / , 7635 ; 364-380LECTURE NOTES IN COMPUTER SCIENCE , 7635 ; 364-380
-
Verlag:
- Neue Suche nach: Springer
-
Erscheinungsort:Heidelberg
-
Erscheinungsdatum:01.01.2012
-
Format / Umfang:17 pages
-
Anmerkungen:Includes bibliographical references and index. Also issued online. ICFEM 2012.
-
ISBN:
-
ISSN:
-
Medientyp:Aufsatz (Konferenz)
-
Format:Print
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
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
-
Toward Practical Application of Formal Methods in Software Lifecycle ProcessesTokoro, M. et al. | 2012
- 2
-
Formal Methods in the Aerospace Industry: Follow the MoneyCofer, D. et al. | 2012
- 4
-
Applying Term Rewriting to Speech Recognition of NumbersShostak, R.E. et al. | 2012
- 5
-
Variable Permissions for Concurrency VerificationLe, D.-K. / Chin, W.-N. / Teo, Y.-M. et al. | 2012
- 22
-
A Concurrent Temporal Programming Model with Atomic BlocksYang, X. / Zhang, Y. / Fu, M. / Feng, X. et al. | 2012
- 38
-
A Composable Mixed Mode Concurrency Control Semantics for Transactional ProgramsBarnett, G. / Qin, S. et al. | 2012
- 54
-
Towards a Formal Verification Methodology for Collective Robotic SystemsGjondrekaj, E. / Loreti, M. / Pugliese, R. / Tiezzi, F. / Pinciroli, C. / Brambilla, M. / Birattari, M. / Dorigo, M. et al. | 2012
- 71
-
Modeling Resource-Aware Virtualized Applications for the Cloud in Real-Time ABSJohnsen, E.B. / Schlatte, R. / Tarifa, S.L.T. et al. | 2012
- 87
-
Specification and Model Checking of the Chandy and Lamport Distributed Snapshot Algorithm in Rewriting LogicOgata, K. / Huyen, P.T.T. et al. | 2012
- 103
-
Quantitative Program Dependence GraphsMu, C. et al. | 2012
- 119
-
Quantitative Analysis of Information Flow Using Theorem ProvingMhamdi, T. / Hasan, O. / Tahar, S. et al. | 2012
- 135
-
Modeling and Verification of Probabilistic Actor Systems Using pRebecaVarshosaz, M. / Khosravi, R. et al. | 2012
- 151
-
Modular Verification of OO Programs with InterfacesZongyan, Q. / Ali, H. / Yijing, L. et al. | 2012
- 167
-
Separation Predicates: A Taste of Separation Logic in First-Order LogicBobot, F. / Filliatre, J.-C. et al. | 2012
- 182
-
The Confinement Problem in the Presence of FaultsHarrison, W.L. / Procter, A. / Allwein, G. et al. | 2012
- 198
-
Verification of ATL Transformations Using Transformation Models and Model FindersButtner, F. / Egea, M. / Cabot, J. / Gogolla, M. et al. | 2012
- 214
-
Automatic Generation of Provably Correct Embedded SystemsLin, S.-W. / Liu, Y. / Hsiung, P.-A. / Sun, J. / Dong, J.S. et al. | 2012
- 230
-
Complementary Methodologies for Developing Hybrid Systems with Event-BSu, W. / Abrial, J.-R. / Zhu, H. et al. | 2012
- 249
-
A Temporal Logic with Mean-Payoff ConstraintsTomita, T. / Hiura, S. / Hagihara, S. / Yonezaki, N. et al. | 2012
- 266
-
Time Constraints with Temporal Logic ProgrammingHan, M. / Duan, Z. / Wang, X. et al. | 2012
- 283
-
Stepwise Satisfiability Checking Procedure for Reactive System Specifications by Tableau Method and Proof SystemNeya, Y. / Yoshiura, N. et al. | 2012
- 299
-
Equational Abstraction Refinement for Certified Tree Regular Model CheckingBoichut, Y. / Boyer, B. / Genet, T. / Legay, A. et al. | 2012
- 316
-
SMT-Based False Positive Elimination in Static Program AnalysisJunker, M. / Huuck, R. / Fehnker, A. / Knapp, A. et al. | 2012
- 332
-
Predicate Analysis with Block-Abstraction MemoizationWonisch, D. / Wehrheim, H. et al. | 2012
- 348
-
Heuristic-Guided Abstraction Refinement for Concurrent SystemsTimm, N. / Wehrheim, H. / Czech, M. et al. | 2012
- 364
-
More Anti-chain Based Refinement CheckingWang, T. / Song, S. / Sun, J. / Liu, Y. / Dong, J.S. / Wang, X. / Li, S. et al. | 2012
- 381
-
An Analytical and Experimental Comparison of CSP Extensions and ToolsShi, L. / Liu, Y. / Sun, J. / Dong, J.S. / Carvalho, G. et al. | 2012
- 398
-
Symbolic Model-Checking of Stateful Timed CSP Using BDD and DigitizationNguyen, T.K. / Sun, J. / Liu, Y. / Dong, J.S. et al. | 2012
- 414
-
Annotations for Alloy: Automated Incremental Analysis Using Domain Specific SolversGanov, S. / Khurshid, S. / Perry, D.E. et al. | 2012
- 430
-
State Space c-Reductions of Concurrent Systems in Rewriting LogicLafuente, A.L. / Meseguer, J. / Vandin, A. et al. | 2012
- 447
-
A Practical Loop Invariant Generation Approach Based on Random Testing, Constraint Solving and VerificationLi, M. et al. | 2012
- 462
-
ConSMutate: SQL Mutants for Guiding Concolic Testing of Database ApplicationsSarkar, T. / Basu, S. / Wong, J.S. et al. | 2012
- 478
-
Demonic Testing of Concurrent ProgramsWest, S. / Nanz, S. / Meyer, B. et al. | 2012
- 494
-
Towards Certified Runtime VerificationBlech, J.O. / Falcone, Y. / Becker, K. et al. | 2012