On partial state matching

DOI10.1007/s00165-016-0413-zzbMath1375.68080OpenAlexW2580277739MaRDI QIDQ1682284

Jan Kofroň, Pavel Jančík

Publication date: 29 November 2017

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-016-0413-z

zbMATH Keywords

performanceoptimizationexplicit model checkingdead variable analysis

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Uses Software

• SPIN
• Java PathFinder
• Bandera
• CLIF
• Murphi
• BeJC

Cites Work

• State space reduction based on live variables analysis.
• Static analysis for state-space reductions preserving temporal logics
• Compressing Optimal Paths with Run Length Encoding
• A Method for the Construction of Minimum-Redundancy Codes
• Unnamed Item
• Unnamed Item

This page was built for publication: On partial state matching