Travelled to:1 × USA
Collaborated with:S.Salamah M.Engskow I.Gallegos A.Q.Gates S.Roach C.Vela
Talks about:properti (2) specif (2) automata (1) prospec (1) generat (1) consist (1) system (1) formal (1) check (1) büchi (1)
Person: Omar Ochoa
DBLP: Ochoa:Omar
Contributed to:
20122008Wrote 2 papers:
- SEKE-2012-SalamahEO #automaton #consistency #ltl #using
- Consistency Checks of System Properties Using LTL and Büchi Automata (SS, ME, OO), pp. 39–44.
- SEKE-2008-GallegosOGRSV #generative #specification
- A Property Specification Tool for Generating Formal Specifications: Prospec 2.0 (IG, OO, AQG, SR, SS, CV), pp. 273–278.