×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [spin model checker]
Home >
spin model checker
(TFCS)Mathematical logic for computer science
275 views
Verification of Real Time Operating System with Model Checking Toshiaki Aoki Japan Advanced Institute of Science and Technology.
215 views
Model-Driven Software Verification
496 views
Accelerating External Search with Bitstate Hashing Stefan Edelkamp Shahid Jabbar Computer Science Department University of Dortmund, Dortmund, Germany.
217 views
CS 290C: Formal Models for Web Software Lectures 14: Formal Modeling and Analysis of Orchestration and Choreography Specifications Instructor: Tevfik Bultan.
214 views
Edmund M. Clarke School of Computer Science Carnegie Mellon University Model Checking and the Verification of Computer Systems.
216 views
JPF Tutorial - Part 1 JPF Core System Willem Visser Stellenbosch University Most of the slides by Peter Mehlitz.
230 views
Parallel External Directed Model Checking with Linear I/O Shahid Jabbar Stefan Edelkamp Computer Science Department University of Dortmund, Dortmund, Germany.
212 views
Verifying AI Plan Models Even the best laid plans need to be verified
30 views
Large Scale External Directed Liveness Checking
25 views