Refinement checking based on simulation relations

DOI10.13328/J.CNKI.JOS.004982MaRDI QIDQ2824414zbMATH OpenFDO

Authors Tieming Chen, Yang Liu, Ting Wang

Publication date 6 October 2016

Published in Journal of Software (Search for Journal in Brave)

Full work available at URL https://doi.org/10.13328/J.CNKI.JOS.004982

zbMATH Keywords

refinement checkingsimulationtimed automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Simulation relations and applications in formal methods
• Simulation refinement for concurrency verification
• Simulation Refinement for Concurrency Verification
• Computer Aided Verification
• Hybrid Systems: Computation and Control
• On checking equivalence of simulation scripts
• Verification and validation of simulation models
• Model checking simulation rules for linearizability

Cited in

(9)

• State-level and value-level simulations in data refinement
• Randomized refinement checking of timed I/O automata
• A comparison of refinement orderings and their associated simulation rules
• scientific article; zbMATH DE number 2090153 (Why is no real title available?)
• scientific article; zbMATH DE number 2102707 (Why is no real title available?)
• Hybrid Systems: Computation and Control
• Simulation relations and applications in formal methods
• Correct and efficient antichain algorithms for refinement checking
• A simulation technique for checking the circle criterion

This page was built for publication: Refinement checking based on simulation relations

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