|
Private
The private section contains the useful links, articles and material created by myself.
It has nothing to do with my professional work. Nevertheless, I hope it is useful for
you to read these pages. In the following I will list some of the articles and presentations
I collected from internet that will help us understand the inside depths of basic fundamentals and also
to improve our personality.
Formal Verification
-
An Introduction to Formal Verification by Sandeep K. Shukla
-
Model Checking Overview by Edmund Clarke, School of Computer Science, Carnegie Mellon University, Pittsburgh, USA
-
Excellent Presentation on SAT Solving Basic Principles and Future Directions by Dominik Stoffel, University of Kaiserslautern, Kaiserslautern, Germany
- Presentation on SAT and QBF in Formal Verification by Armin Biere, Jahannes Kepler University, Linz, Austra
-
Partial Order Reduction For Asynhronous Systems from Lecture Notes, Caltech, CS
-
Presentation on Tarjan's algorithm for computing Strongly Connected Components by Tim Callhan
-
Nice presentation on Applications of Craig Interpolation to Model Checking by Ken L. McMillain from Cadence Labs
Software Engineering
Personality Development
|