Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Formal Methods and Software Engineering: 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1–3, 2021, Proceedings > A Reversible Operational Semantics for Imperative Programming Languages
Formal Methods and Software Engineering: 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1–3, 2021, Proceedings |
Shang-Wei Lin; Zhe Hou; Brendan Mahony
Springer International Publishing
Formal Methods and Software Engineering: 22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 1–3, 2021, Proceedings
A Reversible Operational Semantics for Imperative Programming Languages
Authors

Maribel Fernández; Ian Mackie

ARI Id

1665294579869_5767286

Access

Not Available Free

Pages

91-106

DOI

10.1007/978-3-030-63406-3_6

Chapter URL

https://rd.springer.com/chapter/10.1007/978-3-030-63406-3_6

Table of Contents of Book
Showing 1 to 20 of 29 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
i-xi
Front Matter
1-1
Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-agent Systems
Jaime Arias; Carlos E. Budde; Wojciech Penczek; Laure Petrucci; Teofil Sidoruk; Mariëlle Stoelinga
3-19
Robustness and Failure Detection in Epistemic Gossip Protocols
Kosei Fujishiro; Koji Hasebe
20-35
Reasoning with Failures
Hamid Jahanian; Annabelle McIver
36-52
Front Matter
53-53
Verification of Programs with Pointers in SPARK
Georges-Axel Jaloyan; Claire Dross; Maroua Maalej; Yannick Moy; Andrei Paskevich
55-72
Automated Temporal Verification of Integrated Dependent Effects
Yahui Song; Wei-Ngan Chin
73-90
A Reversible Operational Semantics for Imperative Programming Languages
Maribel Fernández; Ian Mackie
91-106
Parallel Chopped Symbolic Execution
Shikhar Singh; Sarfraz Khurshid
107-125
Front Matter
127-127
PAC Learning of Deterministic One-Clock Timed Automata
Wei Shen; Jie An; Bohua Zhan; Miaomiao Zhang; Bai Xue; Naijun Zhan
129-146
Learning Fault Models of Cyber Physical Systems
Teck Ping Khoo; Jun Sun; Sudipta Chattopadhyay
147-162
VARF: Verifying and Analyzing Robustness of Random Forests
Chaoqun Nie; Jianqi Shi; Yanhong Huang
163-178
Front Matter
179-179
Type-Based Declassification for Free
Minh Ngo; David A. Naumann; Tamara Rezk
181-197
Four-Valued Monitorability of \(\omega \) -Regular Languages
Zhe Chen; Yunyun Chen; Robert M. Hierons; Yifan Wu
198-214
Front Matter
215-215
Formally Verified Trades in Financial Markets
Suneel Sarswat; Abhishek Kr Singh
217-232
Formalizing the Transaction Flow Process of Hyperledger Fabric
Xiangyu Chen; Ximeng Li; Qianying Zhang; Zhiping Shi; Yong Guan
233-250
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 29 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings