ACTLW

MaRDI QIDQ32844swMATHFDO

Official website http://dl.acm.org/citation.cfm?id=1332367

Described by source

• ACTLW -- an action-based computation tree logic with unless operator

Cited in

(8)

• Modal transition systems with weight intervals
• A state/event-based model-checking approach for the analysis of abstract system properties
• An accessible verification environment for UML models of services
• HOL/SPIN
• AODV
• wRebeca
• Model checking mobile ad hoc networks
• Model checking fuzzy computation tree logic

This page was built for software: ACTLW