Blogs about: Model Checking
Featured Blog
Model checking with Spin
Real engineers, when faced with complex design problems build and analyze prototypes to reduce the risk of implementing a flawed design. Can the same be done with software also? How can we show if the… more →
Experiences with CompSci
Model checking with Spin
— 1 comment
Abhishek wrote 2 weeks ago: Real engineers, when faced with complex design problems build and analyze prototypes to reduce the r … more →
My Research Direction
barghouthi wrote 4 months ago: For my master’s degree research project, I’m going to focus on combining static analysis … more →
Greeks on the World: Pioneering Research
grpresspoland wrote 10 months ago: (GREEK NEWS AGENDA) Joseph Sifakis is a researcher at the Centre National de la Recherche Scientif … more →
All models are wrong, but some are useful?
Luk Arbuckle wrote 1 year ago: Industrial statistician George Box is credited for the saying that “all models are wrong, but … more →
An introduction to model checking
Bipin Gautam Taksande wrote 1 year ago: Before you even start writing code on a project, you face the chronic problem of software developmen … more →
ACM Turing Award Winner
Jason Adams wrote 1 year ago: Ed Clarke, a professor of Computer Science at CMU, just won the 2007 ACM Turing Award. The ACM is t … more →
Have your say. Start a blog.
See our free features →
An 
Production
