Project management and quality assurance in a multi-application environment
Prototype of Fault Adaptive Embedded Software for Large-Scale Real-Time Systems
Prototyping the Semantics of a DSL using ASF+SDF: Link to Formal Verification of DSL Models
Proving or Disproving likely Invariants with Constraint Reasoning