Travelled to:1 × Denmark
1 × Italy
2 × France
Collaborated with:D.Déharbe ∅ C.Ringeissen C.Hentz E.C.B.d.Matos J.B.S.Neto V.d.M.Jr.
Talks about:symbol (2) model (2) check (2) fixpoint (1) preserv (1) generat (1) general (1) formula (1) verifi (1) tempor (1)
Person: Anamaria Martins Moreira
DBLP: Moreira:Anamaria_Martins
Contributed to:
2015
2002
19991999Wrote 4 papers:
- TAP-2015-MoreiraHDMNM #case study #code generation #testing #tool support #using #verification
- Verifying Code Generation Tools for the B-Method Using Tests: A Case Study (AMM, CH, DD, ECBdM, JBSN, VdMJ), pp. 76–91.
- RTA-2002-DeharbeMR #logic #model checking
- Improving Symbolic Model Checking by Rewriting Temporal Logic Formulae (DD, AMM, CR), pp. 207–221.
- FM-v1-1999-DeharbeM #fixpoint #model checking
- Symbolic Model Checking with Fewer Fixpoint Computations (DD, AMM), pp. 272–288.
- FM-v2-1999-Moreira #component #proving
- Proof Preservation in Component Generalization (AMM), p. 1866.