Model checking for action-based logics

Authors:
Alessandro Fantechi;Stefania Gnesi;Gioia Ristori
Affiliations:
-;-;-
Venue:
Formal Methods in System Design
Year:
1994

Citing 0
Cited 3

Towards Model Checking Stochastic Process Algebra

IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
Model Checking Markov Chains with Actions and State Labels

IEEE Transactions on Software Engineering
ACTLW - An action-based computation tree logic with unless operator

Information Sciences: an International Journal

Quantified Score

Hi-index	0.00

Visualization

Abstract