Learn More About This
Directory
This directory sponsored by SIQL, a Spider Makers company...
1. Verification Workshop-Making Verification More Meaningful
- www.rap.ucar.edu
- Verification Workshop: Making Verification More Meaningful.
- Point verification.
- Impacts of observation quality on verification statistics.
- Statistical basis for verification.
- Ensemble verification.
- Probabilistic verification approaches.
- Operationally relevant verification.
- Verification needs of developers and end users.
2. Concurrency Factory Home Page
- www.cs.sunysb.edu
- --> The Concurrency Factory project is an integrated toolset for specification, simulation, verification, and implentation of concurrent systems such as communication protocols and process control systems. ...
- By "practical" we mean that the Factory should be usable by protocol engineers and software developers who are not necessarily familiar with formal verification, and it should be usable on problems of real-life scale, such as those found in the telecommunications industry.
- Sponsor: NSF Grant CCR-9505562, The Concurrency Factory --- Practical tools for the design and verification of concurrent systems (Prog. ...
3. Mentor Graphics Emulation
- www.ikos.com
- Functional Verification Products.
- Assertion-Based Verification .
- Verification IP .
- Design & Verification Analysis .
- Hardware/Software Co-Verification .
- Formal Verification .
- Home > Products > Functional Verification > EmulationEmulation.
- Verification acceleration with VStation™TBX.
- Quick execution of multiple verification runs.
- RTL and gate-level verification.
- VStationPRO High-capacity, high-performance functional verification solution for complete system-on-chip validation .
- VStationTBX Single verification environment for simulation and emulation that combines HDL testbenches with transaction-based verification .
- iSolve Enables a direct connection from the emulator to in-circuit application products for early system design verification .
4. Third International Workshop on Verification, Model Checking and Abstract Interpretation
- www.dsi.unive.it
- Third International Workshop on Verification, Model Checking and Abstract Interpretation .
- Verification, Model Checking and Abstract Interpretation .
- The Third International Workshop on Verification, Model Checking and Abstract Interpretation follows the successful events held in Port Jefferson, NY, USA, October 1997, and in Pisa, Italy, September 1999. ...
- Program verification aims at proving that programs meet their specifications, i. ... Model checking is a specific approach to the verification of temporal properties of reactive and concurrent systems, which has proven successful in the area of finite-state programs. ...
- program verification .
5. GDV 2004 - Games In Design and Verification
- www.soe.ucsc.edu
- Games in Design and Verification.
- The goal of the GDV 2004 workshop is to bring together researchers interested in the application of game theory to system design, analysis, and verification. Games provide a model for interaction that has found many applications both in the theory of systems (semantics of programming languages, semantics of interaction) and in the practice of system design (controller synthesis, modular verification, security analysis). ...
- Games and component-based design and verification .
- Game models in the design and verification of distributed systems .
6. Validation, Verification and Refinement of KBS
- www.csd.abdn.ac.uk
- Validation, Verification and Refinement of KBS .
- A computer algebraic method for verification and deduction in KBS: Theory and implementation (L M Laita & E Roanes) .
- Verification of KB based on containment checking (A Levy & M-C Rousset) .
- Specification and verification of KBS (D Fensel, A Schonegge, R Groenboom & B Wielenga) .
- An approach towards the verification of fuzzy hybrid rule/frame-based expert systems (S Shiu, J N K Liu & D S Yeung) .
- Verification of multi-agent KBS (N Lamb & A Preece) .
- Validation and Verification: a modal approach (J Hoelter) .
7. Verification of Reactive Systems
- www.montefiore.ulg.ac.be
- The Partial-Order Package implements a combination of several verification techniques that attempt to avoid the part of the state explosion due to the exploration of all possible interleavings of concurrent transitions. ...
- Partial-order Methods for the Verification of Concurrent Systems -- An Approach to the State-Explosion Problem , Patrice Godefroid, volume 1032 of Lecture Notes in Computer Science, January 1996. ...
- Partial-Order Methods for Temporal Verification .
- Refining Dependencies Improves Partial-Order Verification Methods .
8. TransEDA - Verification from Concept to Reality
- www.transeda.com
- TransEDA is a leader in coverage and ready-to-use verification solutions for electronic designs. ... Products & Solutions VN-Spec - Specification Coverage & Impact Analysis VN-Check - Configurable HDL Checking VN-Cover - Coverage Analysis VN-Cover Emulator - Coverage Analysis for HW Emulation VN-Optimize - Test Suite Analysis & Optimization imPROVE-HPK AMBA - Hardware Protocol Verification imPROVE-HPK OCP - Hardware Protocol Verification imPROVE-HDL - Formal Property Checking imPROVE-TLL - Transistor-level Functional Abstraction PCI Family - Verification IP PCI Express - Bus Verification IP Intel Processor - Verification IP VN-Control - System-Level Test Automation .
9. Computer Laboratory - Specification and Verification I
- www.cl.cam.ac.uk
- Computer LaboratorySpecification and Verification I .
- Computer Laboratory > Course material 2004-05 > Specification and Verification I .
- Specification and Verification I .
- --> Specification and Verification I2004-05.
- Mechanised program verification: verification conditions. ...
- Nov 08: Theorem proving for verification (guest lecture by Joe Hurd) .
- Nov 17: Mechanizing Program Verification .
- Complete set of slides for printing (4 per page, A4 size) --> The lecture on Monday, November 25, 2002 was a guest lecture by Michael Norrish entitled Specification and Verification of C programs. ...
- Related course: This course is a prerequisite for Specification and Verification II (web page not yet updated for 2004). ...
10. Verification, Validation, and Evaluation of Expert Systems
- www.tfhrc.gov
- Verification, Validation and Evaluation of Expert Systems.
11. Real-Time Systems: Course Plan
- www.cs.auc.dk
- VERIFICATION.
- Software is becoming increasingly complex and there is a growing awareness within software engineering practice that formal verification techniques are helpful in dealing with this growing complexity. In particular, formal verification is finding its way into areas such as embedded systems as used in consumer electronics, time dependent systems occurring in safety critical systems and communication protocols from the telecommunication industry. ...
- In the course we shall concentrate on fully automatic formal verification (coined model checking by Ed Clarke). The course will cover the area through a number of prototypical automatic verification tools illustrating the models, specification formalisms, and underlying algorithmic techniques within the area. ...
- used tools in the verification of real life communication protocols. ...
- in 1990 a number of real-time verification tools has emerged, including UPPAAL. ...
- state-spaces, real-time verification tools such as UPPAAL deals with the .
- Links to Verification Tools .
12. Moshe Y. Vardi's Home Page
- www.cs.rice.edu
- His interests focus on applications of logic to computer science, including database theory, finite-model theory, knowledge in multi-agent systems, computer-aided verification and reasoning, and teaching logic across the curriculum. ...
- Bio, Resume, Bibliography, Talks, and Students Recent Publications Papers Course: Logic in Computer Science COMP409 Institute: Computer and Information Technology CITI Seminar: Computer-Aided Verification COMP607 Course: Research Ethics Seminar COMP601 Course Taught at The Weizmann Institute: Automata-Theoretic Approach to Automated Verification Links.
- Dagstuhl Seminar: Probabilistic Methods in Verification .
- 10th Conference on Computer-Aided Verification (CAV'98) .
Other related topics:
Do you have a great site about Verification? Is
your Verification site listed here?
Would you like a prefered placement of your site in this directory?
It's easy! First place, the HTML from the box below on your page that
you would like listed in this directory.
Then use our link submission request with
your name, your contact information, and the URL of your site that has
a link to this directory. After we
verify your link to us, we'll make sure your site stays in our directory,
and we'll give it prefered placement here also.
Here is how to make a simple text link to us. Just copy the code in this
box to your website:
We can also develop a custom Guide To The Internet for your site. Please
request your own
custom Guide To The Internet.
This custom Guide To The Internet produced by
Siql. Visit us today, and find out how to get your own
custom guide to the Internet, and how to get your site
listed in our guides.
Copyright 1995-2005 by Siql. All
Rights Reserved.