ACTLW

swMATH21031MaRDI QIDQ32844FDOQ32844

Author name not available (Why is that?)

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