On Teaching Formal Methods: Behavior Models and Code Analysis

Teaching Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-642-04912-5_10 ◽

2009 ◽

pp. 144-157 ◽

Author(s):

Jan Kofroň ◽

Pavel Parízek ◽

Ondřej Šerý

Keyword(s):

Formal Methods ◽

Code Analysis ◽

Behavior Models

Download Full-text

Formal Methods for Systems Engineering Behavior Models

IEEE Transactions on Industrial Informatics ◽

10.1109/tii.2008.2008998 ◽

2008 ◽

Vol 4 (4) ◽

pp. 280-291 ◽

Author(s):

C. Seidner ◽

O.H. Roux

Keyword(s):

Formal Methods ◽

Systems Engineering ◽

Behavior Models

Download Full-text

Scenario Views for Visual Behavior Models in GenGED* *This work is supported by the German-Brazilian Cooperation for Graphical Support of Formal and Semi-Formal Methods for Software Specification and Development (GRAPHIT).

Electronic Notes in Theoretical Computer Science ◽

10.1016/s1571-0661(04)80612-1 ◽

2003 ◽

Vol 72 (3) ◽

pp. 65-77 ◽

Author(s):

C. Ermel ◽

R. Bardohl

Keyword(s):

Formal Methods ◽

Visual Behavior ◽

Software Specification ◽

Behavior Models ◽

Graphical Support

Download Full-text

Verification and Validation of Behavior Models Using Lightweight Formal Methods

Disciplinary Convergence in Systems Engineering Research ◽

10.1007/978-3-319-62217-0_31 ◽

2017 ◽

pp. 431-447 ◽

Author(s):

Kristin Giammarco ◽

Kathleen Giles

Keyword(s):

Formal Methods ◽

Verification And Validation ◽

Behavior Models ◽

Lightweight Formal Methods

Download Full-text

Application of formal methods to the VIPER microprocessor

IEE Proceedings E Computers and Digital Techniques ◽

10.1049/ip-e.1987.0023 ◽

1987 ◽

Vol 134 (3) ◽

pp. 133 ◽

Author(s):

W.J. Cullyer ◽

C.H. Pygott

Keyword(s):

Download Full-text

Constraint Analysis of System Requirement in SysML with Formal Methods

IEEJ Transactions on Electronics Information and Systems ◽

10.1541/ieejeiss.137.809 ◽

2017 ◽

Vol 137 (6) ◽

pp. 809-814

Author(s):

Yosuke Kakiuchi

Keyword(s):

Formal Methods ◽

Constraint Analysis ◽

System Requirement

Download Full-text

Increasing the Practical Impact of Formal Methods for Computer-Aided Software Development,

10.21236/ada310438 ◽

1995 ◽

Author(s):

Luqi

Keyword(s):

Software Development ◽

Formal Methods ◽

Computer Aided ◽

Practical Impact

Download Full-text

A Prototype Formal Methods Environment

10.21236/ada389751 ◽

2001 ◽

Author(s):

Ray Teitelbaum

Keyword(s):

Download Full-text

Applying Practical Formal Methods to the Specifications and Analysis of Security Properties

10.21236/ada464842 ◽

2001 ◽

Author(s):

Constance Heitmeyer

Keyword(s):

Formal Methods ◽

Security Properties

Download Full-text

A Language for Modeling Cultural Norms, Biases and Stereotypes for Human Behavior Models

10.21236/ada480481 ◽

2008 ◽

Author(s):

Steven Solomon ◽

Michael van Lent ◽

Mark Core ◽

Paul Carpenter ◽

Milton Rosenberg

Keyword(s):

Human Behavior ◽

Cultural Norms ◽

Behavior Models

Download Full-text

Formal Methods for Reverse Engineering Gate-Level Netlists

10.21236/ada623698 ◽

2013 ◽

Author(s):

Wenchao Li

Keyword(s):

Reverse Engineering ◽

Download Full-text