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

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 (5)

• 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

Uses Software

• LOTOS
• SPIN
• CESAR

   Recommendations

• Title not available (Why is that?) 👍 👎
• Automatic verification of finite-state concurrent systems using temporal logic specifications 👍 👎
• Specification, verification and prototyping of an optimized compiler 👍 👎
• Title not available (Why is that?) 👍 👎
• Fundamental Approaches to Software Engineering 👍 👎

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)