Deconstructing the semantics of big-step modelling languages - Concepedia

Concepedia

Publication | Closed Access

Deconstructing the semantics of big-step modelling languages

32

Citations

27

References

2010

Year

Shahram Esmaeilsabzali, Nancy A. Day, Joanne M. Atlee, Jianwei Niu

Requirements Engineering

EngineeringOperational SemanticsFormal ModelingAutomated ReasoningAbstract InterpretationFormal MethodsBig-step Modelling LanguagesComputer ScienceSemanticsFormal Verification

References

	Year	Citations

Page 1