Projecting transition systems: overcoming state explosion in concurrent system verification

DOI10.1134/S0361768815060043zbMath1339.68189MaRDI QIDQ300375

A. S. Kamkin

Publication date: 27 June 2016

Published in: Programming and Computer Software (Search for Journal in Brave)

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Uses Software

• SPIN
• SMV
• UniTESK
• CTESK

Cites Work

• Irredundant algorithms for traversing directed graphs: the nondeterministic case
• Irredundant algorithms for traversing directed graphs: The deterministic case
• Model-based testing of reactive systems. Advanced lectures.
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item