Concepedia

A state/event-based model-checking approach for the analysis of abstract system properties

Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, Franco Mazzanti

Science of Computer Programming · 2010 · 85 citations · 27 references

DOIFull text

Open access

Concepts

References

27

Model checking

E. M. Clarke, Orna Grümberg, D. Long · 1996 · 6.9K citations

Automatic verification of finite-state concurrent systems using temporal logic specifications

E. M. Clarke, E. Allen Emerson, A. Prasad Sistla · ACM Transactions on Programming Languages and Systems · 1986 · 3.6K citations · Full text

, , +16

Algebraic laws for nondeterminism and concurrency

Matthew Hennessy, Robin Milner · Journal of the ACM · 1985 · 1.4K citations

, , +15

Proceedings of the 30th international conference on Software engineering

Ajitha Rajan, Michael W. Whalen, Mats P. E. Heimdahl · 2008 · 460 citations · Full text

, , +13

Three logics for branching bisimulation

Rocco De Nicola, Frits Vaandrager · Journal of the ACM · 1995 · 293 citations · Full text

, , +14