Skeleton Abstraction for Universal Temporal Properties

DOI10.3233/FI-222138MaRDI QIDQ5044401zbMATH OpenOpenAlexFDO

Authors Sophie Wallner, Karsten Wolf

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)

Recommendations

• Skeleton abstraction for universal temporal properties
• On the abstraction of coloured Petri Nets
• scientific article; zbMATH DE number 1696463
• A Polyhedral Abstraction for Petri Nets and its Application to SMT-Based Model Checking
• scientific article; zbMATH DE number 1822435

Cites work

• Applying CEGAR to the Petri net state equation
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• Coloured Petri Nets
• How Much Is Worth to Remember? A Taxonomy Based on Petri Nets Unfoldings
• scientific article; zbMATH DE number 4030998 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 1487867 (Why is no real title available?)
• scientific article; zbMATH DE number 1515293 (Why is no real title available?)
• scientific article; zbMATH DE number 1756009 (Why is no real title available?)
• Simplification of CTL formulae for efficient model checking of Petri nets
• Skeleton abstraction for universal temporal properties

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5044401)