Emily Yu
  • Bio
  • Papers
  • Talks
  • Contact
  • Recent & Upcoming Talks
    • Example Talk
  • Publications
    • Predictive Monitoring of Black-Box Dynamical Systems
    • Introducing Certificates to the Hardware Model Checking Competition
    • Neural Control and Certificate Repair via Runtime Monitoring
    • Ternary Simulation as Abstract Interpretation (Work in Progress)
    • Certifying Phase Abstraction
    • Certifying Hardware Model Checking
    • Stratified Certification for k-induction (Extended Abstract)
    • BIG Backbones
    • Approximating Perfect Recall when Model Checking Strategic Abilities: Theory and Applications
    • Hardware Model Checking Certificates
    • Stratified Certification for k-induction
    • Towards Compositional Hardware Model Checking Certification
    • Unique Reconfiguration Sequence
    • Progress in Certifying Hardware Model Checking Results
    • Model Checking Temporal Epistemic Logic under Bounded Recall
    • A framework for model checking against CTLK using quantified boolean formulas
    • Certifying Hardware Model Checking Results
  • Projects
  • Projects
    • Pandas
    • PyTorch
    • scikit-learn
  • Teaching
    • Learn JavaScript
    • Learn Python
  • Contact

Stratified Certification for k-induction (Extended Abstract)

Feb 1, 2023·
Emily Yu
,
Nils Froleyks
,
Armin Biere
,
Keijo Heljanko
· 0 min read
Type
Conference paper
Publication
In 27. Workshop “Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen”
Last updated on Feb 1, 2023
← Certifying Hardware Model Checking Aug 1, 2023
BIG Backbones Jan 1, 2023 →

© 2025 Emily Yu. This work is licensed under CC BY NC ND 4.0

Published with Hugo Blox Builder — the free, open source website builder that empowers creators.