Publication | Closed Access

An action-based framework for veryfying logical and behavioural properties of concurrent systems

EngineeringAutomated ReasoningVerificationConcurrent ProgrammingFormal MethodsConcurrency TheorySystems EngineeringAction-based FrameworkConcurrency (Computer Science)Concurrent SystemsComputer ScienceConcurrent Data StructureConcurrent SystemFormal VerificationBehavioural Properties