Combining Model Learning and Model Checking to Analyze TCP Implementations (Englisch)
- Neue Suche nach: Fiterău-Broştean, Paul
- Neue Suche nach: Janssen, Ramon
- Neue Suche nach: Vaandrager, Frits
- Neue Suche nach: Chaudhuri, Swarat
- Neue Suche nach: Farzan, Azadeh
- Neue Suche nach: Fiterău-Broştean, Paul
- Neue Suche nach: Janssen, Ramon
- Neue Suche nach: Vaandrager, Frits
In:
Computer Aided Verification
: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II
;
Kapitel: 25
;
454-471
;
2016
- Aufsatz/Kapitel (Buch) / Elektronische Ressource
-
Titel:Combining Model Learning and Model Checking to Analyze TCP Implementations
-
Weitere Titelangaben:Lect.Notes Computer
-
Beteiligte:Chaudhuri, Swarat ( Herausgeber:in ) / Farzan, Azadeh ( Herausgeber:in ) / Fiterău-Broştean, Paul ( Autor:in ) / Janssen, Ramon ( Autor:in ) / Vaandrager, Frits ( Autor:in )
-
Kongress:International Conference on Computer Aided Verification ; 2016 ; Toronto, Canada
-
Erschienen in:Computer Aided Verification : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II ; Kapitel: 25 ; 454-471Lecture Notes in Computer Science ; 9780 ; 454-471
-
Verlag:
- Neue Suche nach: Springer International Publishing
-
Erscheinungsort:Cham
-
Erscheinungsdatum:13.07.2016
-
Format / Umfang:18 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Medientyp:Aufsatz/Kapitel (Buch)
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
Inhaltsverzeichnis E-Book
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
-
Model Checking at Scale: Automated Air Traffic Control Design Space ExplorationGario, Marco / Cimatti, Alessandro / Mattarei, Cristian / Tonetta, Stefano / Rozier, Kristin Yvonne et al. | 2016
- 2
-
Investigating Safety of a Radiotherapy Machine Using System Models with Pluggable CheckersPernsteiner, Stuart / Loncaric, Calvin / Torlak, Emina / Tatlock, Zachary / Wang, Xi / Ernst, Michael D. / Jacky, Jonathan et al. | 2016
- 3
-
End-to-End Verification of Processors with ISA-FormalReid, Alastair / Chen, Rick / Deligiannis, Anastasios / Gilday, David / Hoyes, David / Keen, Will / Pathirane, Ashan / Shepherd, Owen / Vrabel, Peter / Zaidi, Ali et al. | 2016
- 4
-
A Practical Verification Framework for Preemptive OS KernelsXu, Fengwei / Fu, Ming / Feng, Xinyu / Zhang, Xiaoran / Zhang, Hui / Li, Zhaohui et al. | 2016
- 5
-
Probabilistic Automated Language Learning for Configuration FilesSantolucito, Mark / Zhai, Ennan / Piskac, Ruzica et al. | 2016
- 6
-
The Commutativity Problem of the MapReduce Framework: A Transducer-Based ApproachChen, Yu-Fang / Song, Lei / Wu, Zhilin et al. | 2016
- 7
-
Liveness of Randomised Parameterised Systems under Arbitrary SchedulersLin, Anthony W. / Rümmer, Philipp et al. | 2016
- 8
-
Stateless Model Checking for POWERAbdulla, Parosh Aziz / Atig, Mohamed Faouzi / Jonsson, Bengt / Leonardsson, Carl et al. | 2016
- 9
-
Hitting Families of Schedules for Asynchronous ProgramsChistikov, Dmitry / Majumdar, Rupak / Niksic, Filip et al. | 2016
- 10
-
ParCoSS: Efficient Parallelized Compiled Symbolic SimulationHerdt, Vladimir / Le, Hoang M. / Große, Daniel / Drechsler, Rolf et al. | 2016
- 11
-
XSat: A Fast Floating-Point Satisfiability SolverFu, Zhoulai / Su, Zhendong et al. | 2016
- 12
-
Effectively Propositional InterpolantsDrews, Samuel / Albarghouthi, Aws et al. | 2016
- 13
-
Array Folds LogicDaca, Przemysław / Henzinger, Thomas A. / Kupriyanov, Andrey et al. | 2016
- 14
-
Compositional Synthesis of Reactive Controllers for Multi-agent SystemsAlur, Rajeev / Moarref, Salar / Topcu, Ufuk et al. | 2016
- 15
-
Solving Parity Games via Priority PromotionBenerecetti, Massimo / Dell’Erba, Daniele / Mogavero, Fabio et al. | 2016
- 16
-
A Simple Algorithm for Solving Qualitative Probabilistic Parity GamesHahn, Ernst Moritz / Schewe, Sven / Turrini, Andrea / Zhang, Lijun et al. | 2016
- 17
-
Limit-Deterministic Büchi Automata for Linear Temporal LogicSickert, Salomon / Esparza, Javier / Jaax, Stefan / Křetínský, Jan et al. | 2016
- 18
-
Slugs: Extensible GR(1) SynthesisEhlers, Rüdiger / Raman, Vasumathi et al. | 2016
- 19
-
Synthesis of Fault-Attack Countermeasures for Cryptographic CircuitsEldib, Hassan / Wu, Meng / Wang, Chao et al. | 2016
- 20
-
A SAT-Based Counterexample Guided Method for Unbounded SynthesisLegg, Alexander / Narodytska, Nina / Ryzhyk, Leonid et al. | 2016
- 21
-
Qlose: Program Repair with Quantitative ObjectivesD’Antoni, Loris / Samanta, Roopsha / Singh, Rishabh et al. | 2016
- 22
-
BDD-Based Boolean Functional SynthesisFried, Dror / Tabajara, Lucas M. / Vardi, Moshe Y. et al. | 2016
- 23
-
Soufflé: On Synthesis of Program AnalyzersJordan, Herbert / Scholz, Bernhard / Subotić, Pavle et al. | 2016
- 24
-
Property Directed Equivalence via Abstract SimulationFedyukovich, Grigory / Gurfinkel, Arie / Sharygina, Natasha et al. | 2016
- 25
-
Combining Model Learning and Model Checking to Analyze TCP ImplementationsFiterău-Broştean, Paul / Janssen, Ramon / Vaandrager, Frits et al. | 2016
- 26
-
BFS-Based Model Checking of Linear-Time Properties with an Application on GPUsWijs, Anton et al. | 2016
- 27
-
BigraphER: Rewriting and Analysis Engine for BigraphsSevegnani, Michele / Calder, Muffy et al. | 2016
- 28
-
Verification-Aided Debugging: An Interactive Web-Service for Exploring Error WitnessesBeyer, Dirk / Dangl, Matthias et al. | 2016
- 29
-
The Kind 2 Model CheckerChampion, Adrien / Mebsout, Alain / Sticksel, Christoph / Tinelli, Cesare et al. | 2016