×
Log in
Upload File
Most Popular
Art & Photos
Automotive
Business
Career
Design
Education
Hi-Tech
+ Browse for More
The top documents tagged [model checker]
Documents
Tutorial NuSMV
78 views
Documents
Spin Tutorial
78 views
Technology
An Overview of Distributed Debugging
194 views
Documents
Accelerating the Industrial Deployment of Model-Checking for SW Verification: Lessons from 10 years of Model Checking Deployment for HW Verification in
225 views
Documents
Carnegie Mellon University A View from the Engine Room: Computational Support for Symbolic Model Checking bryant Randal E. Bryant
222 views
Documents
Chapter 15 Dependability and Security Assurance Lecture 1 1Chapter 15 Dependability and Security Assurance
260 views
Technology
Model-Based Simulation of SOAP Web Services From Temporal Logic Specifications (Talk @ ICECCS 2011)
1.339 views
Documents
Control-Plane Protocol Interactions in Cellular Networks Guan-Hua Tu *1, Yuanjie Li *1, Chunyi Peng 2, Chi-Yu Li 1, Hongyi Wang 1, Songwu Lu 1 * The first
216 views
Documents
Model Checking and Planning for Critical Software Paolo Traverso ITC/IRST, Via Sommarive 18, 38050 Trento
[email protected]
htttp://sra.itc.it
224 views
Documents
AndroidCompiler. Layout Motivation Literature Review AndroidCompiler Future Works
218 views
Documents
Building Spoken Dialogue Systems for Embodied Agents Lecture 2 Johan Bos School of Informatics The University of Edinburgh
216 views
Documents
6/22/011 Case Study: Computer Assisted Resuscitation Algorithm (CARA) System Insup Lee Department of Computer and Information Science University of Pennsylvania
214 views
Next >