Assume-Guarantee Synthesis (English)
Free access
- New search for: Chatterjee, Krishnendu
- New search for: Henzinger, Thomas A.
- New search for: Chatterjee, Krishnendu
- New search for: Henzinger, Thomas A.
In:
Tools and Algorithms for the Construction and Analysis of Systems
7
;
261-275
;
2007
- Article/Chapter (Book) / Electronic Resource
-
Title:Assume-Guarantee Synthesis
-
Contributors:Chatterjee, Krishnendu ( author ) / Henzinger, Thomas A. ( author )
-
Published in:Lecture Notes in Computer Science ; 4424, 7 ; 261-275
-
Publisher:
- New search for: Springer Berlin Heidelberg
-
Place of publication:Berlin, Heidelberg
-
Publication date:2007-01-01
-
Size:15 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
-
THERE AND BACK AGAIN: Lessons Learned on the Way to the MarketCleaveland, Rance et al. | 2007
- 2
-
Verifying Object-Oriented Software: Lessons and ChallengesLeino, K. Rustan M. et al. | 2007
- 3
-
Shape Analysis by Graph DecompositionManevich, R. / Berdine, J. / Cook, B. / Ramalingam, G. / Sagiv, M. et al. | 2007
- 19
-
A Reachability Predicate for Analyzing Low-Level SoftwareChatterjee, Shaunak / Lahiri, Shuvendu K. / Qadeer, Shaz / Rakamarić, Zvonimir et al. | 2007
- 34
-
Generating Representation Invariants of Structurally Complex DataMalik, Muhammad Zubair / Pervaiz, Aman / Khurshid, Sarfraz et al. | 2007
- 50
-
Multi-objective Model Checking of Markov Decision ProcessesEtessami, K. / Kwiatkowska, M. / Vardi, M. Y. / Yannakakis, M. et al. | 2007
- 66
-
PReMo: An Analyzer for Probabilistic Recursive ModelsWojtczak, Dominik / Etessami, Kousha et al. | 2007
- 72
-
Counterexamples in Probabilistic Model CheckingHan, Tingting / Katoen, Joost-Pieter et al. | 2007
- 87
-
Bisimulation Minimisation Mostly Speeds Up Probabilistic Model CheckingKatoen, Joost-Pieter / Kemna, Tim / Zapreev, Ivan / Jansen, David N. et al. | 2007
- 102
-
Causal Dataflow Analysis for Concurrent ProgramsFarzan, Azadeh / Madhusudan, P. et al. | 2007
- 117
-
Type-Dependence Analysis and Program Transformation for Symbolic ExecutionAnand, Saswat / Orso, Alessandro / Harrold, Mary Jean et al. | 2007
- 134
-
JPF–SE: A Symbolic Execution Extension to Java PathFinderAnand, Saswat / Păsăreanu, Corina S. / Visser, Willem et al. | 2007
- 139
-
A Symbolic Algorithm for Optimal Markov Chain LumpingDerisavi, Salem et al. | 2007
- 155
-
Flow Faster: Efficient Decision Algorithms for Probabilistic SimulationsZhang, Lijun / Hermanns, Holger / Eisenbrand, Friedrich / Jansen, David N. et al. | 2007
- 170
-
Model Checking Probabilistic Timed Automata with One or Two ClocksJurdziński, Marcin / Laroussinie, François / Sproston, Jeremy et al. | 2007
- 185
-
Adaptor Synthesis for Real-Time ComponentsTivoli, Massimo / Fradet, Pascal / Girault, Alain / Goessler, Gregor et al. | 2007
- 201
-
Deciding an Interval Logic with Accumulated DurationsFränzle, Martin / Hansen, Michael R. et al. | 2007
- 216
-
From Time Petri Nets to Timed Automata: An Untimed ApproachD’Aprile, Davide / Donatelli, Susanna / Sangnier, Arnaud / Sproston, Jeremy et al. | 2007
- 231
-
Complexity in Simplicity: Flexible Agent-Based State Space ExplorationRasmussen, Jacob I. / Behrmann, Gerd / Larsen, Kim G. et al. | 2007
- 246
-
On Sampling Abstraction of Continuous Time Logic with DurationsPandya, Paritosh K. / Krishna, Shankara Narayanan / Loya, Kuntal et al. | 2007
- 261
-
Assume-Guarantee SynthesisChatterjee, Krishnendu / Henzinger, Thomas A. et al. | 2007
- 276
-
Optimized L*-Based Assume-Guarantee ReasoningChaki, Sagar / Strichman, Ofer et al. | 2007
- 292
-
Refining Interface Alphabets for Compositional VerificationGheorghiu, Mihaela / Giannakopoulou, Dimitra / Păsăreanu, Corina S. et al. | 2007
- 308
-
MAVEN: Modular Aspect VerificationGoldman, Max / Katz, Shmuel et al. | 2007
- 323
-
Model Checking Liveness Properties of Genetic Regulatory NetworksBatt, Grégory / Belta, Calin / Weiss, Ron et al. | 2007
- 339
-
Checking Pedigree Consistency with PCSManolios, Panagiotis / Oms, Marc Galceran / Valls, Sergi Oliva et al. | 2007
- 343
-
“Don’t Care” Modeling: A Logical Framework for Developing Predictive System ModelsKugler, Hillel / Pnueli, Amir / Stern, Michael J. / Hubbard, E. Jane Albert et al. | 2007
- 358
-
Deciding Bit-Vector Arithmetic with AbstractionBryant, Randal E. / Kroening, Daniel / Ouaknine, Joël / Seshia, Sanjit A. / Strichman, Ofer / Brady, Bryan et al. | 2007
- 373
-
Abstraction Refinement of Linear Programs with ArraysArmando, Alessandro / Benerecetti, Massimo / Mantovani, Jacopo et al. | 2007
- 389
-
Property-Driven Partitioning for Abstraction RefinementSebastiani, Roberto / Tonetta, Stefano / Vardi, Moshe Y. et al. | 2007
- 405
-
Combining Abstraction Refinement and SAT-Based Model CheckingAmla, Nina / McMillan, Kenneth L. et al. | 2007
- 420
-
Detecting Races in Ensembles of Message Sequence ChartsElkind, Edith / Genest, Blaise / Peled, Doron et al. | 2007
- 435
-
Replaying Play In and Play Out: Synthesis of Design Models from Scenarios by LearningBollig, Benedikt / Katoen, Joost-Pieter / Kern, Carsten / Leucker, Martin et al. | 2007
- 451
-
Improved Algorithms for the Automata-Based Approach to Model-CheckingDoyen, Laurent / Raskin, Jean-François et al. | 2007
- 466
-
GOAL: A Graphical Tool for Manipulating Büchi Automata and Temporal FormulaeTsay, Yih-Kuen / Chen, Yu-Fang / Tsai, Ming-Hsien / Wu, Kang-Nien / Chan, Wen-Chin et al. | 2007
- 472
-
Faster Algorithms for Finitary GamesHorn, Florian et al. | 2007
- 485
-
Planned and Traversable Play-Out: A Flexible Method for Executing Scenario-Based Programs,Harel, David / Segall, Itai et al. | 2007
- 500
-
motor:The modest Tool EnvironmentBohnenkamp, Henrik / Hermanns, Holger / Katoen, Joost-Pieter et al. | 2007
- 505
-
Syntactic Optimizations for PSL VerificationCimatti, Alessandro / Roveri, Marco / Tonetta, Stefano et al. | 2007
- 519
-
The Heterogeneous Tool Set, HetsMossakowski, Till / Maeder, Christian / Lüttich, Klaus et al. | 2007
- 523
-
Searching for Shapes in Cryptographic ProtocolsDoghmi, Shaddin F. / Guttman, Joshua D. / Thayer, F. Javier et al. | 2007
- 538
-
Automatic Analysis of the Security of XOR-Based Key Management SchemesCortier, Véronique / Keighren, Gavin / Steel, Graham et al. | 2007
- 553
-
State of the Union: Type Inference Via Craig InterpolationJhala, Ranjit / Majumdar, Rupak / Xu, Ru-Gang et al. | 2007
- 568
-
Hoare Logic for Realistically Modelled Machine CodeMyreen, Magnus O. / Gordon, Michael J. C. et al. | 2007
- 583
-
VCEGAR: Verilog CounterExample Guided Abstraction RefinementJain, Himanshu / Kroening, Daniel / Sharygina, Natasha / Clarke, Edmund et al. | 2007
- 587
-
Alloy Analyzer+PVS in the Analysis and Verification of Alloy SpecificationsFrias., Marcelo F. / Pombo, Carlos G. Lopez / Moscato, Mariano M. et al. | 2007
- 602
-
Combined Satisfiability Modulo Parametric TheoriesKrstić, Sava / Goel, Amit / Grundy, Jim / Tinelli, Cesare et al. | 2007
- 618
-
A Gröbner Basis Approach to CNF-Formulae PreprocessingCondrat, Christopher / Kalla, Priyank et al. | 2007
- 632
-
Kodkod: A Relational Model FinderTorlak, Emina / Jackson, Daniel et al. | 2007
- 648
-
Bounded Reachability Checking of Asynchronous Systems Using Decision DiagramsYu, Andy Jinqing / Ciardo, Gianfranco / Lüttgen, Gerald et al. | 2007
- 664
-
Model Checking on Trees with Path EquivalencesAlur, Rajeev / Černý, Pavol / Chaudhuri, Swarat et al. | 2007
- 679
-
Uppaal/DMC – Abstraction-Based Heuristics for Directed Model CheckingKupferschmid, Sebastian / Dräger, Klaus / Hoffmann, Jörg / Finkbeiner, Bernd / Dierks, Henning / Podelski, Andreas / Behrmann, Gerd et al. | 2007
- 683
-
Distributed Analysis with μCRL: A Compendium of Case StudiesBlom, Stefan / Calamé, Jens R. / Lisser, Bert / Orzan, Simona / Pang, Jun / Pol, Jaco / Dashti, Mohammad Torabi / Wijs, Anton J. et al. | 2007
- 690
-
A Generic Framework for Reasoning About Dynamic Networks of Infinite-State ProcessesBouajjani, Ahmed / Jurski, Yan / Sighireanu, Mihaela et al. | 2007
- 706
-
Unfolding Concurrent Well-Structured Transition SystemsHerbreteau, Frédéric / Sutre, Grégoire / Tran, The Quang et al. | 2007
- 721
-
Regular Model Checking Without Transducers (On Efficient Verification of Parameterized Systems)Abdulla, Parosh Aziz / Delzanno, Giorgio / Henda, Noomene Ben / Rezine, Ahmed et al. | 2007