ABS

swMATH21211MaRDI QIDQ33022FDOQ33022

Author name not available (Why is that?)

Source code repository: https://github.com/abstools/abstools

Cited In (31)

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

This page was built for software: ABS