3-Valued Abstraction for (Bounded) Model Checking (Abstract) (Englisch)
- Neue Suche nach: Grumberg, O.
- Neue Suche nach: Grumberg, O.
- Neue Suche nach: Liu, Zhiming
- Neue Suche nach: Ravn, Anders P.
In:
Automated technology for verification and analysis: 7th international symposium, ATVA 2009
5799
;
21
;
2009
-
ISBN:
-
ISSN:
- Aufsatz (Konferenz) / Print
-
Titel:3-Valued Abstraction for (Bounded) Model Checking (Abstract)
-
Beteiligte:
-
Kongress:International symposium; 7th, Automated technology for verification and analysis: 7th international symposium, ATVA 2009 ; 2009 ; Macao, China
-
Erschienen in:Automated technology for verification and analysis: 7th international symposium, ATVA 2009 , 5799 ; 21LECTURE NOTES IN COMPUTER SCIENCE , 5799 ; 21
-
Verlag:
- Neue Suche nach: Springer
-
Erscheinungsort:Berlin
-
Erscheinungsdatum:01.01.2009
-
Format / Umfang:21 pages
-
Anmerkungen:Includes bibliographical references and index.
-
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
-
Verifying VLSI CircuitsGreenstreet, M.R. et al. | 2009
- 21
-
3-Valued Abstraction for (Bounded) Model Checking (Abstract)Grumberg, O. et al. | 2009
- 22
-
Local Search in Model CheckingRoscoe, A.W. / Armstrong, P.J. / Pragyesh et al. | 2009
- 39
-
Exploring the Scope for Partial Order ReductionGeldenhuys, J. / Hansen, H. / Valmari, A. et al. | 2009
- 54
-
State Space Reduction of Linear Processes Using Control Flow Reconstructionvan de Pol, J. / Timmer, M. et al. | 2009
- 69
-
A Data Symmetry Reduction Technique for Temporal-epistemic LogicCohen, M. / Dam, M. / Lomuscio, A. / Qu, H. et al. | 2009
- 84
-
TAPAAL: Editor, Simulator and Verifier of Timed-Arc Petri NetsByg, J. / Jorgensen, K.Y. / Srba, J. et al. | 2009
- 90
-
CLAN: A Tool for Contract Analysis and Conflict DiscoveryFenech, S. / Pace, G.J. / Schneider, G. et al. | 2009
- 97
-
UnitCheck: Unit Testing and Model Checking CombinedKebrt, M. / Sery, O. et al. | 2009
- 104
-
LTL Model Checking of Time-Inhomogeneous Markov ChainsChen, T. / Han, T. / Katoen, J.-P. / Mereacre, A. et al. | 2009
- 120
-
Statistical Model Checking Using Perfect SimulationEl Rabih, D. / Pekergin, N. et al. | 2009
- 135
-
Quantitative Analysis under Fairness ConstraintsBaier, C. / Groesser, M. / Ciesinski, F. et al. | 2009
- 151
-
A Decompositional Proof Scheme for Automated Convergence Proofs of Stochastic Hybrid SystemsOehlerking, J. / Theel, O. et al. | 2009
- 166
-
Memory Usage Verification Using Hip/SleekHe, G. / Qin, S. / Luo, C. / Chin, W.-N. et al. | 2009
- 182
-
Solving Parity Games in PracticeFriedmann, O. / Lange, M. et al. | 2009
- 197
-
Automated Analysis of Data-Dependent Programs with Dynamic MemoryAbdulla, P.A. / Atto, M. / Cederberg, J. / Ji, R. et al. | 2009
- 213
-
On-the-fly Emptiness Check of Transition-Based Streett AutomataDuret-Lutz, A. / Poitrenaud, D. / Couvreur, J.-M. et al. | 2009
- 228
-
On Minimal Odd Rankings for Buchi ComplementationKarmarkar, H. / Chakraborty, S. et al. | 2009
- 244
-
Specification Languages for Stutter-Invariant Regular PropertiesDax, C. / Klaedtke, F. / Leue, S. et al. | 2009
- 255
-
Incremental False Path Elimination for Static Software AnalysisFehnker, A. / Huuck, R. / Seefried, S. et al. | 2009
- 271
-
A Framework for Compositional Verification of Multi-valued Systems via Abstraction-RefinementMeller, Y. / Grumberg, O. / Shoham, S. et al. | 2009
- 289
-
Don't Know for Multi-valued SystemsCampetelli, A. / Gruler, A. / Leucker, M. / Thoma, D. et al. | 2009
- 306
-
Logahedra: A New Weakly Relational DomainHowe, J.M. / King, A. et al. | 2009
- 321
-
Synthesis of Fault-Tolerant Distributed SystemsDimitrova, R. / Finkbeiner, B. et al. | 2009
- 337
-
Formal Verification for High-Assurance Behavioral SynthesisRay, S. / Hao, K. / Chen, Y. / Xie, F. / Yang, J. et al. | 2009
- 352
-
Dynamic Observers for the Synthesis of Opaque SystemsCassez, F. / Dubreil, J. / Marchand, H. et al. | 2009
- 368
-
Symbolic CTL Model Checking of Asynchronous Systems Using Constrained SaturationZhao, Y. / Ciardo, G. et al. | 2009
- 382
-
LTL Model Checking for Recursive ProgramsHuang, G.-D. / Cai, L.-Z. / Wang, F. et al. | 2009
- 397
-
On Detecting Regular Predicates in Distributed SystemsHuang, H. et al. | 2009