Skeleton abstraction for universal temporal properties

DOI10.1007/978-3-030-76983-3_10zbMath1490.68142arXiv2112.08884OpenAlexW3168651539MaRDI QIDQ2117168

Sophie Wallner, Karsten Schmidt

Publication date: 21 March 2022

Full work available at URL: https://arxiv.org/abs/2112.08884

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)

Related Items (1)

Skeleton Abstraction for Universal Temporal Properties

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Simplification of CTL formulae for efficient model checking of Petri nets
• How Much Is Worth to Remember? A Taxonomy Based on Petri Nets Unfoldings
• Coloured Petri Nets
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• Applying CEGAR to the Petri Net State Equation

This page was built for publication: Skeleton abstraction for universal temporal properties