Rely/Guarantee Reasoning for Multicopy Atomic Weak Memory Models (English)
- New search for: Coughlin, Nicholas
- New search for: Winter, Kirsten
- New search for: Smith, Graeme
- New search for: Coughlin, Nicholas
- New search for: Winter, Kirsten
- New search for: Smith, Graeme
In:
Formal Methods
; 292-312
;
2021
-
ISBN:
- Conference paper / Print
-
Title:Rely/Guarantee Reasoning for Multicopy Atomic Weak Memory Models
-
Contributors:
-
Conference:FM ; 24. ; 2021 ; Online
-
Published in:Formal Methods ; 292-312
-
Publisher:
- New search for: Springer
-
Place of publication:Cham
-
Publication date:2021
-
ISBN:
-
Type of media:Conference paper
-
Type of material:Print
-
Language:English
- New search for: 54.52
- Further information on Basic classification
-
Keywords:
-
Classification:
BKL: 54.52 Software engineering -
Source:
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.
- 3
-
Combining Forces: How to Formally Verify Informally Defined Embedded SystemsHerber, Paula / Liebrenz, Timm / Adelt, Julius et al. | 2021
- 23
-
Model Checking for Verification of Quantum CircuitsYing, Mingsheng et al. | 2021
- 43
-
Verifying Secure Speculation in Isabelle/HOLGriffin, Matt / Dongol, Brijesh et al. | 2021
- 61
-
Two Mechanisations of WebAssembly 1.0Watt, Conrad / Rao, Xiaojia / Pichon-Pharabod, Jean / Bodin, Martin / Gardner, Philippa et al. | 2021
- 83
-
Probabilistic Verification of Neural Networks Against Group FairnessSun, Bing / Sun, Jun / Dai, Ting / Zhang, Lijun et al. | 2021
- 103
-
BanditFuzz: Fuzzing SMT Solvers with Multi-agent Reinforcement LearningScott, Joseph / Sudula, Trishal / Rehman, Hammad / Mora, Federico / Ganesh, Vijay et al. | 2021
- 122
-
Formally Verified Safety Net for Waypoint Navigation Neural Network ControllersKopylov, Alexei / Mitsch, Stefan / Nogin, Aleksey / Warren, Michael et al. | 2021
- 142
-
Model-Free Reinforcement Learning for Lexicographic Omega-Regular ObjectivesHahn, Ernst Moritz / Perez, Mateo / Schewe, Sven / Somenzi, Fabio / Trivedi, Ashutosh / Wojtczak, Dominik et al. | 2021
- 163
-
Efficient Algorithms for Omega-Regular Energy GamesAmram, Gal / Maoz, Shahar / Pistiner, Or / Ringert, Jan Oliver et al. | 2021
- 182
-
Generalizing Non-punctuality for Timed Temporal Logic with Freeze QuantifiersKrishna, Shankara Narayanan / Madnani, Khushraj / Mazo, Manuel Jr. / Pandya, Paritosh K. et al. | 2021
- 200
-
Verified Quadratic Virtual Substitution for Real ArithmeticScharager, Matias / Cordwell, Katherine / Mitsch, Stefan / Platzer, André et al. | 2021
- 218
-
Business Processes Meet Spatial Concerns: The sBPMN Verification FrameworkSaddem-Yagoubi, Rim / Poizat, Pascal / Houhou, Sara et al. | 2021
- 237
-
Owicki-Gries Reasoning for C11 Programs with Relaxed DependenciesWright, Daniel / Batty, Mark / Dongol, Brijesh et al. | 2021
- 255
-
Integrating ADTs in KeY and Their Application to History-Based ReasoningBian, Jinting / Hiep, Hans-Dieter A. / Boer, Frank S. de / Gouw, Stijn de et al. | 2021
- 273
-
Identifying Overly Restrictive Matching Patterns in SMT-Based Program VerifiersBugariu, Alexandra / Ter-Gabrielyan, Arshavir / Müller, Peter et al. | 2021
- 292
-
Rely/Guarantee Reasoning for Multicopy Atomic Weak Memory ModelsCoughlin, Nicholas / Winter, Kirsten / Smith, Graeme et al. | 2021
- 313
-
Hybrid System Falsification for Multiple-Constraint Parameter Synthesis: A Gas Turbine Case StudySato, Sota / Saimen, Atsuyoshi / Waga, Masaki / Takao, Kenji / Hasuo, Ichiro et al. | 2021
- 330
-
Gaussian Process-Based Confidence Estimation for Hybrid System FalsificationZhang, Zhenya / Arcaini, Paolo et al. | 2021
- 349
-
Formal Verification of Intelligent Hybrid Systems that are Modeled with Simulink and the Reinforcement Learning ToolboxAdelt, Julius / Liebrenz, Timm / Herber, Paula et al. | 2021
- 367
-
Hybrid Systems Verification with Isabelle/HOL: Simpler Syntax, Better Models, Faster ProofsFoster, Simon / Munive, Jonathan Julián Huerta y / Gleirscher, Mario / Struth, Georg et al. | 2021
- 389
-
Z3str4: A Multi-armed String SolverMora, Federico / Berzish, Murphy / Kulczynski, Mitja / Nowotka, Dirk / Ganesh, Vijay et al. | 2021
- 407
-
Concise Outlines for a Complex Logic: A Proof Outline Checker for TaDAWolf, Felix A. / Schwerhoff, Malte / Müller, Peter et al. | 2021
- 427
-
Formal Verification of a JavaCard Virtual Machine with Frama-CDjoudi, Adel / Hána, Martin / Kosmatov, Nikolai et al. | 2021
- 445
-
Verification of the Incremental Merkle Tree Algorithm with DafnyCassez, Franck et al. | 2021
- 465
-
Congruence Relations for Büchi AutomataLi, Yong / Tsay, Yih-Kuen / Turrini, Andrea / Vardi, Moshe Y. / Zhang, Lijun et al. | 2021
- 483
-
Featured Team AutomataBeek, Maurice H. ter / Cledou, Guillermina / Hennicker, Rolf / Proença, José et al. | 2021
- 503
-
From Partial to Global Assume-Guarantee Contracts: Compositional Realizability Analysis in FRETMavridou, Anastasia / Katis, Andreas / Giannakopoulou, Dimitra / Kooi, David / Pressburger, Thomas / Whalen, Michael W. et al. | 2021
- 524
-
Fingerprinting Bluetooth Low Energy Devices via Active Automata LearningPferscher, Andrea / Aichernig, Bernhard K. et al. | 2021
- 545
-
Trace Abstraction-Based Verification for Uninterpreted ProgramsHong, Weijiang / Chen, Zhenbang / Du, Yide / Wang, Ji et al. | 2021
- 563
-
HStriver: A Very Functional Extensible Tool for the Runtime Verification of Real-Time Event StreamsGorostiaga, Felipe / Sánchez, César et al. | 2021
- 581
-
Cabean 2.0: Efficient and Efficacious Control of Asynchronous Boolean NetworksSu, Cui / Pang, Jun et al. | 2021
- 599
-
Dynamic Reconfiguration via Typed ModalitiesŢuţu, Ionuţ / Chiriţă, Claudia Elena / Fiadeiro, José Luiz et al. | 2021
- 619
-
On Lexicographic Proof Rules for Probabilistic TerminationChatterjee, Krishnendu / Goharshady, Ehsan Kafshdar / Novotný, Petr / Zárevúcky, Jiří / Žikelić, Đorđe et al. | 2021
- 640
-
Fuel in Markov Decision Processes (FiMDP): A Practical Approach to ConsumptionBlahoudek, František / Cubuktepe, Murat / Novotný, Petr / Ornik, Melkior / Thangeda, Pranay / Topcu, Ufuk et al. | 2021
- 657
-
HyperProb: A Model Checker for Probabilistic HyperpropertiesDobe, Oyendrila / Ábrahám, Erika / Bartocci, Ezio / Bonakdarpour, Borzoo et al. | 2021
- 667
-
The Probabilistic Termination Tool AmberMoosbrugger, Marcel / Bartocci, Ezio / Katoen, Joost-Pieter / Kovács, Laura et al. | 2021
- 676
-
Model Checking Collision Avoidance of Nonlinear Autonomous VehiclesGu, Rong / Seceleanu, Cristina / Enoiu, Eduard / Lundqvist, Kristina et al. | 2021
- 697
-
Formal Verification of Complex Data Paths: An Industrial ExperienceSeger, Carl-Johan H. et al. | 2021
- 717
-
Some Lessons Learned in the Industrialization of Formal Methods for Financial AlgorithmsPassmore, Grant Olney et al. | 2021
- 725
-
Two Decades of Formal Methods in Industrial Products at BTC Embedded SystemsTeige, Tino / Eggers, Andreas / Scheibler, Karsten / Stasch, Matthias / Brockmeyer, Udo / Holberg, Hans J. / Bienmüller, Tom et al. | 2021
- 730
-
Formal Analysis of Neural Network-Based Systems in the Aircraft DomainKouvaros, Panagiotis / Kyono, Trent / Leofante, Francesco / Lomuscio, Alessio / Margineantu, Dragos / Osipychev, Denis / Zheng, Yang et al. | 2021
- 741
-
Formal Verification of Consensus in the Taurus Distributed DatabaseGao, Song / Zhan, Bohua / Liu, Depeng / Sun, Xuechao / Zhi, Yanan / Jansen, David N. / Zhang, Lijun et al. | 2021
- 752
-
Combined Online Checking and Control Synthesis: A Study on a Vehicle Platoon TestbedWang, Jiawan / Bu, Lei / Xing, Shaopeng / Wu, Yuming / Li, Xuandong et al. | 2021
- 763
-
Formally Guaranteed Tight Dynamic Future Occupancy of Autonomous VehiclesRahman, Yousaf / Waez, Tawhid Bin / Niu, Yuming et al. | 2021
- 776
-
Divide et Impera: Efficient Synthesis of Cyber-Physical System Architectures from Formal ContractsSantos, César Augusto R. dos / Schrijvers, Tom / Saleh, Amr Hany / Nicolai, Mike et al. | 2021
- 788
-
Apply Formal Methods in Certifying the SyberX High-Assurance KernelXu, Wenjing / Zhao, Yongwang / Cao, Chengtao / Sighom, Jean Raphael Ngnie / Wang, Lei / Jiang, Zhe / Zou, Shihong et al. | 2021