User-Friendly Model Checking: Automatically Configuring Algorithms with RuleBase/PE (Englisch)
- Neue Suche nach: Nevo, Z.
- Neue Suche nach: Nevo, Z.
- Neue Suche nach: Chockler, Hana
- Neue Suche nach: Hu, Alan J.
In:
International Haifa Verification Conference; Hardware and software: verification and testing
5394
;
210-214
;
2009
-
ISBN:
-
ISSN:
- Aufsatz (Konferenz) / Print
-
Titel:User-Friendly Model Checking: Automatically Configuring Algorithms with RuleBase/PE
-
Beteiligte:
-
Kongress:4th, International Haifa Verification Conference; Hardware and software: verification and testing ; 2008 ; Haifa, Israel
-
Erschienen in:International Haifa Verification Conference; Hardware and software: verification and testing , 5394 ; 210-214LECTURE NOTES IN COMPUTER SCIENCE , 5394 ; 210-214
-
Verlag:
- Neue Suche nach: Springer
-
Erscheinungsort:Berlin
-
Erscheinungsdatum:01.01.2009
-
Format / Umfang:5 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
-
Hazards of VerificationJackson, D. et al. | 2009
- 2
-
Automata-Theoretic Model Checking RevisitedVardi, M.Y. et al. | 2009
- 3
-
Proofs, Interpolants, and Relevance Heuristics (HVC 2008 Award Winner)McMillan, K. et al. | 2009
- 4
-
Is Verification Getting Too Complex?Hollander, Y. et al. | 2009
- 5
-
Can Mutation Analysis Help Fix Our Broken Coverage Metrics?Bailey, B. et al. | 2009
- 6
-
Practical Considerations Concerning HL-to -RT Equivalence CheckingPixley, C. et al. | 2009
- 7
-
A Framework for Inherent VacuityFisman, D. / Kupferman, O. / Sheinvald-Faragy, S. / Vardi, M.Y. et al. | 2009
- 23
-
A Meta Heuristic for Effectively Detecting Concurrency ErrorsRungta, N. / Mercer, E.G. et al. | 2009
- 38
-
A Uniform Approach to Three- Valued Semantics for μ-Calculus on Abstractions of Hybrid AutomataBauer, K. / Gentilini, R. / Schneider, K. et al. | 2009
- 53
-
Automatic Boosting of Cross-Product Coverage Using Bayesian NetworksBaras, D. / Fournier, L. / Ziv, A. et al. | 2009
- 68
-
Efficient Decision Procedure for Bounded Integer Non-linear Operations Using SMT( GBP IA)Ganai, M.K. et al. | 2009
- 84
-
Evaluating Workloads Using Comparative Functional CoverageAdler, Y. / Blue, D. / Conti, T. / Prewitt, R. / Ur, S. et al. | 2009
- 99
-
Iterative Delta DebuggingArtho, C. et al. | 2009
- 114
-
Linear-Time Reductions of Resolution ProofsBar-Ilan, O. / Fuhrmann, O. / Hoory, S. / Shacham, O. / Strichman, O. et al. | 2009
- 129
-
Significant Diagnostic Counterexamples in Probabilistic Model CheckingAndres, M.E. / D Argenio, P. / van Rossum, P. et al. | 2009
- 149
-
Statistical Model Checking of Mixed-Analog Circuits with an Application to a Third Order Delta - Sigma ModulatorClarke, E. / Donze, A. / Legay, A. et al. | 2009
- 164
-
Structural ContradictionsEisner, C. / Fisman, D. et al. | 2009
- 179
-
Synthesizing Test Models from Test CasesJaaskelainen, A. / Kervinen, A. / Katara, M. / Valmari, A. / Virtanen, H. et al. | 2009
- 194
-
D-TSR: Parallelizing SMT-Based BMC Using Tunnels over a Distributed FrameworkGanai, M.K. / Li, W. et al. | 2009
- 200
-
Progress in Automated Software Defect PredictionOstrand, T.J. / Weyuker, E.J. et al. | 2009
- 205
-
SeeCode - A Code Review Plug-in for EclipseShochat, M. / Raz, O. / Farchi, E. et al. | 2009
- 210
-
User-Friendly Model Checking: Automatically Configuring Algorithms with RuleBase/PENevo, Z. et al. | 2009