BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Moreira:Anamaria_Martins

Contributed to:

TAP 20152015
RTA 20022002
World Congress on Formal Methods 19991999
World Congress on Formal Methods 19991999

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.