Round- and context-bounded control of dynamic pushdown systems
Article Properties
-
LanguageEnglish
-
DOI (url)
-
Publication Date2023/07/07
-
Journal
-
Indian UGC (journal)
-
Refrences40
-
Benedikt Bollig
-
Mathieu Lehaut ORCID (unauthenticated)
-
Nathalie Sznajder
Abstract
Cite
Bollig, Benedikt, et al. “Round- and Context-Bounded Control of Dynamic Pushdown Systems”. Formal Methods in System Design, 2023, https://doi.org/10.1007/s10703-023-00431-0.
Bollig, B., Lehaut, M., & Sznajder, N. (2023). Round- and context-bounded control of dynamic pushdown systems. Formal Methods in System Design. https://doi.org/10.1007/s10703-023-00431-0
Bollig B, Lehaut M, Sznajder N. Round- and context-bounded control of dynamic pushdown systems. Formal Methods in System Design. 2023;.
Journal Category
Science
Mathematics
Instruments and machines
Electronic computers
Computer science
You May Also Like
- A New Approach to Abstract Syntax with Variable Binding
- Soundness of workflow nets: classification, decidability, and analysis
- Automatic Verification of a Behavioural Subset of UML Statechart Diagrams Using the SPIN Model-checker
- Uppaal in a nutshell
- Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems
Refrences
| Title | Journal | Journal Categories | Citations | Publication Date |
|---|---|---|---|---|
| Parameterized verification | International Journal on Software Tools for Technology Transfer |
| 4 | 2016 |
Two-variable logic on data words | ACM Transactions on Computational Logic |
| 37 | 2011 |
| On notions of regularity for data languages | Theoretical Computer Science |
| 12 | 2010 |
| 10.1142/S0129054103001881 | 2003 | |||
| Model Checking Games for Branching Time Logics | Journal of Logic and Computation |
| 7 | 2002 |