Paper Info
Title
Using Alloy in Introductory Courses of Formal Methods.
Abstract
Compact and easy-to-learn educational material of core ideas in formal methods is prepared for students in software engineering courses. Although mathematical logic is usually employed to explore the basic ideas precisely and concisely, some students with limited background are not able to follow the contents. We adapt Alloy to sugar wrap logic, which makes it possible for students to learn the core ideas by experimenting with the tool. The proposed material covers model-oriented specification notations and SAT-based automatic formal verification methods. These are important subfields of formal methods in view of both theory and practice for software engineering courses.
Year
DOI
Venue
2014
10.1007/978-3-319-17404-4_7
Lecture Notes in Computer Science
Field
DocType
Volume
Notation,Programming language,Computer science,Formal methods,Formal notation,Proof obligation,Mathematical logic,Formal verification
Conference
8979
ISSN
Citations 
PageRank 
0302-9743
0
0.34
References 
Authors
10
1
Name
Order
Citations
PageRank
Shin Nakajima1184.81