Blogs about: Formal Methods
Featured Blog
UML and OCL Official Specifications
I’ve been working on formalization of UML and OCL for some time. Of course, specifications are necessary for formalization but they’re also helpful for learning the tools themselves. If yo… more →
recluze
Splint the static C code checker
— 4 comments
Ulisses Araújo Costa wrote 7 months ago: Splint is this great tool to statically analyze C code. Splint is an evolution of Lint. Lint makes a … more →
Software testing - yesterday, today & tomorrow
— 2 comments
ssemergic wrote 7 months ago: Contrary to what many think, testing has grown along with development. In the early days much of com … more →
My Research Direction
barghouthi wrote 8 months ago: For my master’s degree research project, I’m going to focus on combining static analysis … more →
Formal Methods Syllabus - First Lecture
dewisa wrote 10 months ago: Today, February 3rd 2009, 7 till 9 AM, I’m attending a course subjected Formal Methods. Our Le … more →
Formal Methods
— 1 comment
Trident wrote 11 months ago: In a conference on formal methods in software engineering, in front of a community of people involve … more →
On the "On the..."
pmatos wrote 1 year ago: So, by now, you have probably noticed our obsession about “On the” titles… On the … more →
Great responsibility
— 1 comment
Tio wrote 1 year ago: If “with great power comes great responsibility” then is it true that “with great … more →
Formal Methods Lecture Slides
kathayat wrote 2 years ago: >> http://cs.nyu.edu/courses/fall01/G22.3033-007/index.htm … more →
Mathematical Skills
— 2 comments
alam78 wrote 2 years ago: Mathematical skills are absolutely necessary for every researcher, who want excel in the research do … more →
Isabelle/HOL Tutorial
recluze wrote 2 years ago: Isabelle/HOL tutorial download link, especially for Mr. T: http://www4.in.tum.de/~nipkow/LNCS2283/tu … more →
Installing and Configuring HOL-OCL
— 1 comment
recluze wrote 2 years ago: I’ve just finished installing/configuring HOL-OCL (except for the X-symbols configuration). Th … more →
Thoughts on Z
— 2 comments
recluze wrote 2 years ago: I’ve worked with Z notation now for a complete specification and here are my thoughts regardin … more →
Z Notation Example
— 1 comment
recluze wrote 2 years ago: This is the first formal specification I’ve created using Z Notation. It’s based on the … more →
Zeta + HOL-Z Presentation
— 1 comment
recluze wrote 2 years ago: Here’s the second presentation in the series. It deals with how HOL-Z can be used. It is only … more →
ZETA Presentation
— 3 comments
recluze wrote 2 years ago: I’ve just finished creating the first presentation about using ZETA for creation/analysis of Z … more →
Update and Questions
— 2 comments
recluze wrote 2 years ago: A.A. everyone. Nothing going on in the group scene? Isn’t anybody doing anything? Or should I … more →
Formal Specification of RDF Concepts
Alistair Miles wrote 2 years ago: I had a go at rewriting the RDF Concepts and Abstract Syntax as a formal specification using the Z n … more →
Tools for Writing Formal Specifications Using Z Notation
Alistair Miles wrote 2 years ago: I learned some Z notation to write my masters thesis. I chose to use Z because I found it extremely … more →
