ACTLW

swMATH21031MaRDI QIDQ32844FDOQ32844

Author name not available (Why is that?)

Described by source

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

Cited In (5)

• 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
• Model checking mobile ad hoc networks
• Model checking fuzzy computation tree logic

This page was built for software: ACTLW