scientific article; zbMATH DE number 1979544

MaRDI QIDQ4427896zbMATH OpenFDO

Authors Jin Yang, Carl-Johan H. Seger

Publication date 14 September 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2517/25170070.htm

Mathematics Subject Classification ID

Computer science aspects of computer-aided design (68U07)

Recommendations

• A Faithful Semantics for Generalised Symbolic Trajectory Evaluation
• Formal Methods for Hardware Verification
• Static Analysis
• Explaining Symbolic Trajectory Evaluation by Giving It a Faithful Semantics
• Symbolic trajectory evaluation
• scientific article; zbMATH DE number 2102706
• Automatic Refinement and Vacuity Detection for Symbolic Trajectory Evaluation
• A novel formalization of symbolic trajectory evaluation semantics in Isabelle/HOL
• Correct Hardware Design and Verification Methods

Cited in

(12)

• Terminal satisfiability in GSTE
• GSTE is partitioned model checking
• Symbolic trajectory evaluation
• A Faithful Semantics for Generalised Symbolic Trajectory Evaluation
• A transformation-based approach to implication of GSTE assertion graphs
• The modeling library of eavesdropping methods in quantum cryptography protocols by model checking
• Symbolic trajectory evaluation for word-level verification: theory and implementation
• Computer Aided Verification
• Efficient Automatic STE Refinement Using Responsibility
• Static Analysis
• Automatic Refinement and Vacuity Detection for Symbolic Trajectory Evaluation
• Theory and Applications of Models of Computation

This page was built for publication:

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