ACTLW

swMATH21031MaRDI QIDQ32844

No author found.

Described by source

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

Related Items (5)

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

This page was built for software: ACTLW