Correctly slicing extended finite state machines
Book chapter
Amtoft, T., Androutsopoulos, K. and Clark, D. 2020. Correctly slicing extended finite state machines. in: Di Pierro, A., Malacaria, P. and Nagarajan, R. (ed.) From lambda calculus to cybersecurity through program analysis - essays dedicated to Chris Hankin on the occasion of his retirement Switzerland Springer International Publishing.
Chapter title | Correctly slicing extended finite state machines |
---|---|
Authors | Amtoft, T., Androutsopoulos, K. and Clark, D. |
Abstract | We consider slicing extended finite state machines. Extended finite state machines (EFSMs) combine a finite state machine with a store and can model a range of computational phenomena, from high-level software to cyber-physical systems. EFSMs are essentially interactive, possibly non-terminating or with multiple exit states and may be nondeterministic, so standard techniques for slicing, developed for control flow graphs of programs with a functional semantics, are not immediately applicable. |
Keywords | Optimization |
Book title | From lambda calculus to cybersecurity through program analysis - essays dedicated to Chris Hankin on the occasion of his retirement |
Editors | Di Pierro, A., Malacaria, P. and Nagarajan, R. |
Publisher | Springer International Publishing |
Place of publication | Switzerland |
Series | Theoretical Computer Science and General Issues |
ISBN | |
Paperback | 9783030411022 |
Electronic | 9783030411039 |
Publication dates | |
Online | 15 Feb 2020 |
01 Jan 2020 | |
Publication process dates | |
Deposited | 09 Jun 2020 |
Accepted | 10 Dec 2019 |
Output status | Published |
Additional information | Part of the Lecture Notes in Computer Science book series (LNCS, volume 12065), also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 12065). |
Web address (URL) | https://link.springer.com/chapter/10.1007/978-3-030-41103-9_6 |
Digital Object Identifier (DOI) | https://doi.org/10.1007/978-3-030-41103-9_6 |
Language | English |
Journal | From Lambda Calculus to Cybersecurity Through Program Analysis Essays Dedicated to Chris Hankin on the Occasion of His Retirement |
https://repository.mdx.ac.uk/item/88z92
79
total views0
total downloads0
views this month0
downloads this month