Teaching Formal Methods and Discrete Mathematics

Electronic Proceedings in Theoretical Computer Science ◽

10.4204/eptcs.149.4 ◽

2014 ◽

Vol 149 ◽

pp. 30-43 ◽

Author(s):

Mathieu Jaume ◽

Théo Laurent

Keyword(s):

Formal Methods ◽

Discrete Mathematics

Download Full-text

An experience teaching formal methods in discrete mathematics

ACM SIGCSE Bulletin ◽

10.1145/209849.209860 ◽

1995 ◽

Vol 27 (3) ◽

pp. 60-64 ◽

Author(s):

J. Stanley Warford

Keyword(s):

Formal Methods ◽

Discrete Mathematics ◽

Experience Teaching

Download Full-text

Teaching Introductory Formal Methods and Discrete Mathematics to Software Engineers: Reflections on a Modelling-Focussed Approach

Formal Methods Teaching - Lecture Notes in Computer Science ◽

10.1007/978-3-030-32441-4_13 ◽

2019 ◽

pp. 196-211

Author(s):

Andrew Simpson

Keyword(s):

Formal Methods ◽

Discrete Mathematics ◽

Software Engineers

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

Formal Methods for Reverse Engineering Gate-Level Netlists

10.21236/ada623698 ◽

2013 ◽

Author(s):

Wenchao Li

Keyword(s):

Reverse Engineering ◽

Download Full-text

Practical Formal Methods for Hardware Design

10.1007/978-3-642-60641-0 ◽

1997 ◽

Keyword(s):

Formal Methods ◽

Hardware Design

Download Full-text

Learning Discrete Mathematics with ISETL

10.1007/978-1-4612-3592-7 ◽

1989 ◽

Author(s):

Nancy Baxter ◽

Ed Dubinsky ◽

Gary Levin

Keyword(s):

Discrete Mathematics

Download Full-text