36 search results - page 1 / 8 » Teaching Formal Methods Based on Rewriting Logic and Maude |
TFM
2009
Springer
13 years 10 months ago
2009
Springer
ENTCS
2002
13 years 4 months ago
2002
In this paper we describe the use of the rewriting logic based Maude tool to model and analyze mammalian signaling pathways. We discuss the representation of the underlying biolog...
MEMOCODE
2003
IEEE
13 years 9 months ago
2003
IEEE
An executable computational logic can provide the desired bridge between formal system properties and formal methods to verify them on the one hand, and executable models of syste...
FMICS
2008
Springer
13 years 5 months ago
2008
Springer
Abstract. In this paper we propose a certification technique for noninterference of Java programs based on rewriting logic, a very general logical and semantic framework efficientl...
AMAST
2010
Springer
12 years 11 months ago
2010
Springer
Maude modules can be understood as models that can be formally analyzed and verified with respect to different properties expressing various formal requirements. However, Maude lac...