Automatic verification of application-tailored OSEK kernels (English)
- New search for: Deifel, Hans-Peter
- New search for: Gottlinger, Merlin
- New search for: Milius, Stefan
- New search for: Schroder, Lutz
- New search for: Dietrich, Christian
- New search for: Lohmann, Daniel
- New search for: Deifel, Hans-Peter
- New search for: Gottlinger, Merlin
- New search for: Milius, Stefan
- New search for: Schroder, Lutz
- New search for: Dietrich, Christian
- New search for: Lohmann, Daniel
In:
2017 Formal Methods in Computer Aided Design (FMCAD)
;
196-203
;
2017
-
ISBN:
- Conference paper / Electronic Resource
-
Title:Automatic verification of application-tailored OSEK kernels
-
Contributors:Deifel, Hans-Peter ( author ) / Gottlinger, Merlin ( author ) / Milius, Stefan ( author ) / Schroder, Lutz ( author ) / Dietrich, Christian ( author ) / Lohmann, Daniel ( author )
-
Published in:
-
Publisher:
- New search for: IEEE
-
Publication date:2017-10-01
-
Size:160500 byte
-
ISBN:
-
DOI:
-
Type of media:Conference paper
-
Type of material:Electronic Resource
-
Language:English
-
Source:
Table of contents conference proceedings
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
-
Preface| 2017
- 1
-
Table of contents| 2017
- 1
-
How formal analysis and verification add security to blockchain-based systemsMatsuo, Shin'Ichiro et al. | 2017
- 1
-
Copyright page| 2017
- 1
-
Organization committee| 2017
- 5
-
Symbolic security analysis using the Tamarin proverCremers, Cas et al. | 2017
- 6
-
Coalition, intrigue, ambush, destruction and pride: Herding cats can be challengingAlglave, Jade et al. | 2017
- 7
-
Automated formal reasoning about AWS systemsCook, Byron et al. | 2017
- 8
-
Formal methods in industrial dependable systems design — The TTTech exampleSteiner, Wilfried et al. | 2017
- 9
-
Hardware model checking competition 2017Biere, Armin / van Dijk, Tom / Heljanko, Keijo et al. | 2017
- 10
-
The FMCAD 2017 graduate student forumHeljanko, Keijo et al. | 2017
- 11
-
goSAT: Floating-point satisfiability as global optimizationBen Khadra, M. Ammar / Stoffel, Dominik / Kunz, Wolfgang et al. | 2017
- 15
-
On sound relative error bounds for floating-point arithmeticIzycheva, Anastasiia / Darulova, Eva et al. | 2017
- 23
-
Column-wise verification of multipliers using computer algebraRitirc, Daniela / Biere, Armin / Kauers, Manuel et al. | 2017
- 31
-
Efficient generation of all minimal inductive validity coresGhassabani, Elaheh / Whalen, Michael / Gacek, Andrew et al. | 2017
- 39
-
Duality-based interpolation for quantifier-free equalities and uninterpreted functionsAlt, Leonardo / Hyvarinen, Antti E. J. / Asadi, Sepideh / Sharygina, Natasha et al. | 2017
- 47
-
Solving linear arithmetic with SAT-based model checkingVizel, Yakir / Nadel, Alexander / Malik, Sharad et al. | 2017
- 55
-
ZSstrS: A string solver with theory-aware heuristicsBerzish, Murphy / Ganesh, Vijay / Zheng, Yunhui et al. | 2017
- 60
-
Verification of a lazy cache coherence protocol against a weak memory modelBanks, Christopher J. / Elver, Marco / Hoffmann, Ruth / Sarkar, Susmit / Jackson, Paul / Nagarajan, Vijay et al. | 2017
- 68
-
Safety verification of phaser programsGanjei, Zeinab / Rezine, Ahmed / Eles, Petru / Peng, Zebo et al. | 2017
- 76
-
Learning to prove safety over parameterised concurrent systemsChen, Yu-Fang / Hong, Chih-Duo / Lin, Anthony W. / Rummer, Philipp et al. | 2017
- 84
-
Lasso detection using partial-state cachingMudduluru, Rashmi / Deligiannis, Pantazis / Desai, Ankush / Lal, Akash / Qadeer, Shaz et al. | 2017
- 92
-
Exact quantitative probabilistic model checking through rational searchBauer, Matthew S. / Mathur, Umang / Chadha, Rohit / Sistla, A. Prasad / Viswanathan, Mahesh et al. | 2017
- 100
-
Sampling invariants from frequency distributionsFedyukovich, Grigory / Kaufman, Samuel J. / Bodik, Rastislav et al. | 2017
- 108
-
Tagged BDDs: Combining reduction rules from different decision diagram typesvan Dijk, Tom / Wille, Robert / Meolic, Robert et al. | 2017
- 116
-
First order temporal logic monitoring with BDDsHavelund, Klaus / Peled, Doron / Ulus, Dogan et al. | 2017
- 124
-
Factored boolean functional synthesisTabajara, Lucas M. / Vardi, Moshe Y. et al. | 2017
- 132
-
Property directed reachability with word-level abstractionHo, Yen-Sheng / Mishchenko, Alan / Brayton, Robert et al. | 2017
- 140
-
Learning support sets in IC3 and Quip: The good, the bad, and the uglyBerryhill, Ryan / Ivrii, Alexander / Veira, Neil / Veneris, Andreas et al. | 2017
- 148
-
K-induction without unrollingGurfinkel, Arie / Ivrii, Alexander et al. | 2017
- 156
-
Designing parallel PDRMarescotti, Matteo / Gurfinkel, Arie / Hyvarinen, Antti E. J. / Sharygina, Natasha et al. | 2017
- 164
-
FuseIC3: An algorithm for checking large design spacesDureja, Rohit / Rozier, Kristin Yvonne et al. | 2017
- 172
-
FAR-Cubicle — A new reachability algorithm for CubicleConchon, Sylvain / Goel, Amit / Krstic, Sava / Majumdar, Rupak / Roux, Mattias et al. | 2017
- 176
-
Theta: A framework for abstraction refinement-based model checkingToth, Tamas / Hajdu, Akos / Vorcos, Andras / Micskei, Zoltan / Majzik, Istvan et al. | 2017
- 180
-
Modular SMT-based analysis of nonlinear hybrid systemsBae, Kyungmin / Gao, Sicun et al. | 2017
- 188
-
SMT-based analysis of switching multi-domain linear Kirchhoff networksCimatti, Alessandro / Mover, Sergio / Sessa, Mirko et al. | 2017
- 196
-
Automatic verification of application-tailored OSEK kernelsDeifel, Hans-Peter / Gottlinger, Merlin / Milius, Stefan / Schroder, Lutz / Dietrich, Christian / Lohmann, Daniel et al. | 2017
- 204
-
Estimating worst-case latency of on-chip interconnects with formal simulationVerbeek, Freek / van Vugt, Nike et al. | 2017
- 212
-
Parameterized verification of algorithms for oblivious robots on a ringSangnier, Arnaud / Sznajder, Nathalie / Potop-Butucaru, Maria / Tixeuil, Sebastien et al. | 2017
- 220
-
Automated repair by example for firewallsHallahan, William T. / Zhai, Ennan / Piskac, Ruzica et al. | 2017
- C1
-
Front cover| 2017