End-to-End Verification of Processors with ISA-Formal (Englisch)
- Neue Suche nach: Reid, Alastair
- Neue Suche nach: Chen, Rick
- Neue Suche nach: Deligiannis, Anastasios
- Neue Suche nach: Gilday, David
- Neue Suche nach: Hoyes, David
- Neue Suche nach: Keen, Will
- Neue Suche nach: Pathirane, Ashan
- Neue Suche nach: Shepherd, Owen
- Neue Suche nach: Vrabel, Peter
- Neue Suche nach: Zaidi, Ali
- Neue Suche nach: Chaudhuri, Swarat
- Neue Suche nach: Farzan, Azadeh
- Neue Suche nach: Reid, Alastair
- Neue Suche nach: Chen, Rick
- Neue Suche nach: Deligiannis, Anastasios
- Neue Suche nach: Gilday, David
- Neue Suche nach: Hoyes, David
- Neue Suche nach: Keen, Will
- Neue Suche nach: Pathirane, Ashan
- Neue Suche nach: Shepherd, Owen
- Neue Suche nach: Vrabel, Peter
- Neue Suche nach: Zaidi, Ali
In:
Computer Aided Verification
: 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part II
;
Kapitel: 3
;
42-58
;
2016
- Aufsatz/Kapitel (Buch) / Elektronische Ressource
-
Titel:End-to-End Verification of Processors with ISA-Formal
-
Weitere Titelangaben:Lect.Notes Computer
-
Beteiligte:Chaudhuri, Swarat ( Herausgeber:in ) / Farzan, Azadeh ( Herausgeber:in ) / Reid, Alastair ( Autor:in ) / Chen, Rick ( Autor:in ) / Deligiannis, Anastasios ( Autor:in ) / Gilday, David ( Autor:in ) / Hoyes, David ( Autor:in ) / Keen, Will ( Autor:in ) / Pathirane, Ashan ( Autor:in ) / Shepherd, Owen ( 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: 3 ; 42-58Lecture Notes in Computer Science ; 9780 ; 42-58
-
Verlag:
- Neue Suche nach: Springer International Publishing
-
Erscheinungsort:Cham
-
Erscheinungsdatum:13.07.2016
-
Format / Umfang:17 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