Thread-Modular Abstraction Refinement (English)
Free access
- New search for: Henzinger, Thomas A.
- New search for: Jhala, Ranjit
- New search for: Majumdar, Rupak
- New search for: Qadeer, Shaz
- New search for: Henzinger, Thomas A.
- New search for: Jhala, Ranjit
- New search for: Majumdar, Rupak
- New search for: Qadeer, Shaz
In:
Computer Aided Verification
9
;
262-274
;
2003
- Article/Chapter (Book) / Electronic Resource
-
Title:Thread-Modular Abstraction Refinement
-
Contributors:Henzinger, Thomas A. ( author ) / Jhala, Ranjit ( author ) / Majumdar, Rupak ( author ) / Qadeer, Shaz ( author )
-
Published in:Computer Aided Verification , 9 ; 262-274Lecture Notes in Computer Science ; 2725, 9 ; 262-274
-
Publisher:
- New search for: Springer Berlin Heidelberg
-
Place of publication:Berlin, Heidelberg
-
Publication date:2003-01-01
-
Size:13 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
-
Interpolation and SAT-Based Model CheckingMcMillan, K. L. et al. | 2003
- 14
-
Bounded Model Checking and Induction: From Refutation to VerificationMoura, Leonardo / Rueß, Harald / Sorea, Maria et al. | 2003
- 27
-
Reasoning with Temporal Logic on Truncated PathsEisner, Cindy / Fisman, Dana / Havlicek, John / Lustig, Yoad / McIsaac, Anthony / Campenhout, David et al. | 2003
- 40
-
Structural Symbolic CTL Model Checking of Asynchronous SystemsCiardo, Gianfranco / Siminiceanu, Radu et al. | 2003
- 54
-
A Work-Efficient Distributed Algorithm for Reachability AnalysisGrumberg, Orna / Heyman, Tamir / Schuster, Assaf et al. | 2003
- 67
-
Modular Strategies for Infinite Games on Recursive GraphsAlur, Rajeev / La Torre, Salvatore / Madhusudan, P. et al. | 2003
- 80
-
Fast Mu-Calculus Model Checking when Tree-Width Is BoundedObdržálek, Jan et al. | 2003
- 93
-
Dense Counter Machines and Verification ProblemsXie, Gaoyan / Dang, Zhe / Ibarra, Oscar H. / Pietro, Pierluigi San et al. | 2003
- 106
-
TRIM: A Tool for Triggered Message Sequence ChartsSengupta, Bikram / Cleaveland, Rance et al. | 2003
- 110
-
Model Checking Multi-Agent Programs with CASPBordini, Rafael H. / Fisher, Michael / Pardavila, Carmen / Visser, Willem / Wooldridge, Michael et al. | 2003
- 114
-
Monitoring Temporal Rules Combined with Time SeriesDrusinsky, Doron et al. | 2003
- 118
-
FAST: Fast Acceleration of Symbolic Transition SystemsBardin, Sébastien / Finkel, Alain / Leroux, Jérôme / Petrucci, Laure et al. | 2003
- 122
-
Rabbit: A Tool for BDD-Based Verification of Real-Time SystemsBeyer, Dirk / Lewerentz, Claus / Noack, Andreas et al. | 2003
- 126
-
Making Predicate Abstraction Efficient:Clarke, Edmund / Grumberg, Orna / Talupur, Muralidhar / Wang, Dong et al. | 2003
- 141
-
A Symbolic Approach to Predicate AbstractionLahiri, Shuvendu K. / Bryant, Randal E. / Cook, Byron et al. | 2003
- 154
-
Unbounded, Fully Symbolic Model Checking of Timed Automata Using Boolean MethodsSeshia, Sanjit A. / Bryant, Randal E. et al. | 2003
- 167
-
Digitizing Interval Duration LogicChakravorty, Gaurav / Pandya, Paritosh K. et al. | 2003
- 180
-
Timed Control with Partial ObservabilityBouyer, Patricia / D’Souza, Deepak / Madhusudan, P. / Petit, Antoine et al. | 2003
- 193
-
Hybrid Acceleration Using Real Vector AutomataBoigelot, Bernard / Herbreteau, Frédéric / Jodogne, Sébastien et al. | 2003
- 206
-
Abstraction and BDDs Complement SAT-Based BMC in DiVerGupta, Aarti / Ganai, Malay / Wang, Chao / Yang, Zijiang / Ashar, Pranav et al. | 2003
- 210
-
TLQSolver: A Temporal Logic Query CheckerChechik, Marsha / Gurfinkel, Arie et al. | 2003
- 215
-
Evidence Explorer: A Tool for Exploring Model-Checking ProofsDong, Yifei / Ramakrishnan, C. R. / Smolka, Scott A. et al. | 2003
- 219
-
HERMES: An Automatic Tool for Verification of Secrecy in Security ProtocolsBozga, Liana / Lakhnech, Yassine / Périn, Michaël et al. | 2003
- 223
-
Iterating Transducers in the LargeBoigelot, Bernard / Legay, Axel / Wolper, Pierre et al. | 2003
- 236
-
Algorithmic Improvements in Regular Model CheckingAbdulla, Parosh Aziz / Jonsson, Bengt / Nilsson, Marcus / d’Orso, Julien et al. | 2003
- 249
-
Efficient Image Computation in Infinite State Model CheckingBartzis, Constantinos / Bultan, Tevfik et al. | 2003
- 262
-
Thread-Modular Abstraction RefinementHenzinger, Thomas A. / Jhala, Ranjit / Majumdar, Rupak / Qadeer, Shaz et al. | 2003
- 275
-
A Game-Based Framework for CTL Counterexamples and 3-Valued Abstraction-RefinementShoham, Sharon / Grumberg, Orna et al. | 2003
- 288
-
Abstraction for Branching Time PropertiesNamjoshi, Kedar S. et al. | 2003
- 301
-
Certifying Optimality of State Estimation ProgramsRoşu, Grigore / Venkatesan, Ram Prasad / Whittle, Jon / Leuştean, Laurenţiu et al. | 2003
- 315
-
Domain-Specific Optimization in Automata LearningHungar, Hardi / Niese, Oliver / Steffen, Bernhard et al. | 2003
- 328
-
Model Checking Conformance with Scenario-Based SpecificationsGlusman, Marcelo / Katz, Shmuel et al. | 2003
- 341
-
Deductive Verification of Advanced Out-of-Order MicroprocessorsLahiri, Shuvendu K. / Bryant, Randal E. et al. | 2003
- 355
-
Theorem Proving Using Lazy Proof ExplicationFlanagan, Cormac / Joshi, Rajeev / Ou, Xinming / Saxe, James B. et al. | 2003
- 368
-
Enhanced Vacuity Detection in Linear Temporal LogicArmoni, Roy / Fix, Limor / Flaisher, Alon / Grumberg, Orna / Piterman, Nir / Tiemeyer, Andreas / Vardi, Moshe Y. et al. | 2003
- 381
-
Bridging the Gap between Fair Simulation and Trace InclusionKesten, Yonit / Piterman, Nir / Pnueli, Amir et al. | 2003
- 394
-
An Improved On-the-Fly Tableau Construction for a Real-Time Temporal LogicGeilen, Marc et al. | 2003
- 407
-
Strengthening Invariants by Symbolic Consistency TestingAbu-Haimed, Husam / Berezin, Sergey / Dill, David L. et al. | 2003
- 420
-
Linear Invariant Generation Using Non-linear Constraint SolvingColón, Michael A. / Sankaranarayanan, Sriram / Sipma, Henny B. et al. | 2003
- 433
-
To Store or Not to StoreBehrmann, Gerd / Larsen, Kim G. / Pelánek, Radek et al. | 2003
- 446
-
Calculating τ-Confluence CompositionallyPace, Gordon J. / Lang, Frédéric / Mateescu, Radu et al. | 2003