Extreme Model Checking (English)
- New search for: Henzinger, Thomas A.
- New search for: Jhala, Ranjit
- New search for: Majumdar, Rupak
- New search for: Sanvido, Marco A. A.
- New search for: Henzinger, Thomas A.
- New search for: Jhala, Ranjit
- New search for: Majumdar, Rupak
- New search for: Sanvido, Marco A. A.
In:
Verification: Theory and Practice
2
;
332-358
;
2003
- Article/Chapter (Book) / Electronic Resource
-
Title:Extreme Model Checking
-
Contributors:Henzinger, Thomas A. ( author ) / Jhala, Ranjit ( author ) / Majumdar, Rupak ( author ) / Sanvido, Marco A. A. ( author )
-
Published in:Verification: Theory and Practice , 2 ; 332-358Lecture Notes in Computer Science ; 2772, 2 ; 332-358
-
Publisher:
- New search for: Springer Berlin Heidelberg
-
Place of publication:Berlin, Heidelberg
-
Publication date:2003-01-01
-
Size:27 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Type of media:Article/Chapter (Book)
-
Type of material:Electronic Resource
-
Language:English
-
Keywords:
-
Source:
Table of contents eBook
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 1
-
Pæan to Zohar MannaDershowitz, Nachum et al. | 2003
- 11
-
A Logic of Object-Oriented ProgramsAbadi, Martín / Leino, K. Rustan M. et al. | 2003
- 42
-
Formal Analysis of Hierarchical State MachinesAlur, Rajeev et al. | 2003
- 67
-
Abstraction as the Key for Invariant VerificationBensalem, Saddek / Graf, Susanne / Lakhnech, Yassine et al. | 2003
- 100
-
Domain Engineering: a “Radical Innovation” for Software and Systems Engineering?Bjørner, Dines et al. | 2003
- 145
-
The ASM Ground Model Method as a Foundation of Requirements EngineeringBörger, Egon et al. | 2003
- 161
-
A Functional Calculus for Specification and Verification of Nondeterministic Interactive SystemsBroy, Manfred et al. | 2003
- 182
-
Notes from the Logbook of a Proof-Checker’s Project*Cantone, Domenico / Omodeo, Eugenio G. / Schwartz, Jacob T. / Ursino, Pietro et al. | 2003
- 208
-
Counterexamples Revisited: Principles, Algorithms, ApplicationsClarke, Edmund / Veith, Helmut et al. | 2003
- 225
-
Easy Intruder DeductionsComon-Lundh, Hubert / Treinen, Ralf et al. | 2003
- 243
-
Verification by Abstract InterpretationCousot, Patrick et al. | 2003
- 269
-
Game Models for Open SystemsAlfaro, Luca et al. | 2003
- 290
-
A Compositional Operational Semantics for Java MTÁbrahám, Erika / Boer, Frank S. / Roever, Willem-Paul / Steffen, Martin et al. | 2003
- 304
-
Bounded FairnessDershowitz, Nachum / Jayasimha, D. N. / Park, Seungjoon et al. | 2003
- 318
-
Efficient Boundary Values Generation in General Metric Spaces for Software Component TestingFerro, Alfredo / Giugno, Rosalba / Pulvirenti, Alfredo et al. | 2003
- 332
-
Extreme Model CheckingHenzinger, Thomas A. / Jhala, Ranjit / Majumdar, Rupak / Sanvido, Marco A. A. et al. | 2003
- 359
-
Automata MistaHuet, Gérard et al. | 2003
- 373
-
Aspect Validation Using Model CheckingKatz, Shmuel / Sihman, Marcelo et al. | 2003
- 395
-
Qualitative Theorem Proving in Linear ConstraintsChandru, Vijay / Lassez, Jean-Louis et al. | 2003
- 407
-
Some Institutional Requirements for Temporal Reasoning on Dynamic Reconfiguration of Component Based SystemsAguirre, Nazareno / Maibaum, Tom et al. | 2003
- 436
-
A Formal Basis for Reasoning on Programmable QoSNicola, Rocco / Ferrari, Gianluigi / Montanari, Ugo / Pugliese, Rosario / Tuosto, Emilio et al. | 2003
- 480
-
A Hierarchical Completeness Proof for Propositional Temporal LogicMoszkowski, Ben et al. | 2003
- 524
-
Computational Proof as Experiment: Probabilistic Algorithms from a Thermodynamic PerspectivePalem, Krishna V. et al. | 2003
- 548
-
Unit Checking: Symbolic Model Checking for a Unit of CodeGunter, Elsa / Peled, Doron et al. | 2003
- 568
-
Colimits for Concurrent CollectorsPavlovic, Dusko / Pepper, Peter / Smith, Doug et al. | 2003
- 598
-
tlpvs: A pvs-Based ltl Verification SystemPnueli, Amir / Arons, Tamarah et al. | 2003
- 626
-
Binary Extensions of S1S and the Composition MethodMarzano, Enrico / Montanari, Angelo / Policriti, Alberto et al. | 2003
- 645
-
Deriving Efficient Graph AlgorithmsReif, John H. / Scherlis, William L. et al. | 2003
- 682
-
Petri Net Analysis Using Invariant GenerationSankaranarayanan, Sriram / Sipma, Henny / Manna, Zohar et al. | 2003
- 702
-
Fair Equivalence RelationsKupferman, Orna / Piterman, Nir / Vardi, Moshe Y. et al. | 2003
- 733
-
Digital Algebra and CircuitsVuillemin, Jean et al. | 2003
- 747
-
Program Synthesis for Multi-agent Question AnsweringWaldinger, Richard / Jarvis, Peter / Dungan, Jennifer et al. | 2003
- 762
-
Combining Sets with ElementsZarba, Calogero G. et al. | 2003