scientific article; zbMATH DE number 1418459

zbMATH Open0952.68035MaRDI QIDQ4942016FDOQ4942016

C. R. Ramakrishnan, Yifei Dong

Publication date: 19 March 2000

Title of this publication is not available (Why is that?)

Recommendations

• scientific article; zbMATH DE number 1759609
• Automatic verification of finite-state concurrent systems using temporal logic specifications
• Specification, verification and prototyping of an optimized compiler
• scientific article; zbMATH DE number 1903381
• Fundamental Approaches to Software Engineering

zbMATH Keywords

optimizing compiler

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited In (6)

• A Framework for Formal Verification of Compiler Optimizations
• Computational Space Efficiency and Minimal Model Generation for Guarded Formulae
• Optimization techniques for Craig interpolant compaction in unbounded model checking
• Out of control: reducing probabilistic models by control-state elimination
• State space reduction for process algebra specifications
• ViDoC - Visual Design of Optimizing Compilers

Uses Software

• LOTOS
• SPIN
• CESAR

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 Q4942016)