Skeleton Abstraction for Universal Temporal Properties

DOI10.3233/FI-222138OpenAlexW4306999351MaRDI QIDQ5044401

Sophie Wallner, Karsten Schmidt

Publication date: 31 October 2022

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/fi-222138

Mathematics Subject Classification ID

Computer science (68-XX)

Cites Work

• Skeleton abstraction for universal temporal properties
• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Skeleton Abstraction for Universal Temporal Properties