ABS
From MaRDI portal
Software:33022
No author found.
Source code repository: https://github.com/abstools/abstools
Related Items (31)
May-Happen-in-Parallel Analysis for Actor-Based Concurrency ⋮ On detecting over-eager concurrency in asynchronously communicating concurrent object systems ⋮ Global Reproducibility Through Local Control for Distributed Active Objects ⋮ A lightweight approach to smart contracts supporting safety, security, and privacy ⋮ A Transformational Approach to Resource Analysis with Typed-Norms ⋮ KeY-ABS: A Deductive Verification Tool for the Concurrent Modelling Language ABS ⋮ A Dynamic Logic with Traces and Coinduction ⋮ Modeling Actor Systems Using Dynamic I/O Automata ⋮ Scaling up livelock verification for network-on-chip routing algorithms ⋮ Dynamic rebinding for concurrent object groups: theory and practice ⋮ Behavioural semantics for asynchronous components ⋮ Rely-guarantee termination and cost analyses of loops with concurrent interleavings ⋮ A formal, resource consumption-preserving translation of actors to Haskell ⋮ Unnamed Item ⋮ Time analysis of actor programs ⋮ A reduction semantics for direct-style asynchronous observables ⋮ Resource-usage-aware configuration in software product lines ⋮ Distributed Network Generation Based on Preferential Attachment in ABS ⋮ Observable behavior of distributed systems: component reasoning for concurrent objects ⋮ Integrating deployment architectures and resource consumption in timed object-oriented models ⋮ An evaluation of interaction paradigms for active objects ⋮ Quantified abstract configurations of distributed systems ⋮ Symbolic execution formally explained ⋮ Actor-based model checking for software-defined networks ⋮ Analysis of Executable Software Models ⋮ Deadlock Detection in Linear Recursive Programs ⋮ Bestow and atomic: concurrent programming using isolation, delegation and grouping ⋮ A Transformational Approach to Resource Analysis with Typed-norms Inference ⋮ Unnamed Item ⋮ A Formal, Resource Consumption-Preserving Translation from Actors with Cooperative Scheduling to Haskell* ⋮ A multi-domain incremental analysis engine and its application to incremental resource analysis
This page was built for software: ABS
