Previous
Towards Model Checking Stochastic Aspects Of The Thinkteam User Interface
White Papers Stochastic model checking is a recent extension of traditional model-checking techniques for the integrated analysis of both qualitative and quantitative system properties. This paper shows how stochastic model checking can be conveniently used to...
[December 7, 2005, 23:00]
Microsoft Bug-checking Tools Promise Fewer Crashes
News For Windows Vista, Microsoft will put its drivers through a checking process, Terry said. Microsoft is readying two tools to help hardware makers create more stable and secure Windows drivers, which should help reduce the number of crashes.
[May 30, 2006, 16:40]
Australia Launches Biometric Passport Checking
News The Australian Customs Service (ACS) will next week launch its biometric passport checking system "publicly," drastically shortening its trial period and before concerns about how to apply it to all Australians have been resolved.
[January 23, 2003, 8:26]
Model Checking Large Network Protocol Implementations
White Papers This paper focuses on how to effectively find errors in large network protocol implementations using model checking, a formal verification technique. Network protocols must work. The effects of protocol specification or implementation errors range...
[April 18, 2007, 1:00]
Static Checking Of Dynamically Generated Queries In Database Applications
White Papers The servlet programmer enjoys static checking via Java's strong type system. Many data-intensive applications dynamically construct queries in response to client requests and execute them. Java servlets, e.g.can create string representations of SQL...
[September 8, 2006, 0:00]
The Existence Of Finite Abstractions For Branching Time Model Checking
White Papers Abstraction is often essential to verify a program with model checking. Typically, a concrete source program with an infinite (or finite, but large) state space is reduced to a small, finite state, abstract program on which a correctness property...
[April 7, 2005, 0:00]
Model Checking Networked Programs In The Presence Of Transmission Failures
White Papers Conversion of processes into threads, combined with a network model, allows for model checking distributed applications, but does not cover potential communication failures. This paper contributes a fault model for model checking networked programs.
[June 27, 2007, 1:00]
Using Model Checking To Find Serious File System Errors
White Papers This paper shows how to use model checking to find serious errors in file systems. Model checking is a formal verification technique tuned for finding corner-case errors by comprehensively exploring the state spaces de-fined by a system.
[May 25, 2007, 1:00]
Turing Award Goes To Error-checking Researchers
News Edmund M Clarke, of Carnegie Mellon University, E Allen Emerson, of the University of Texas at Austin, and Joseph Sifakis, of the University of Grenoble, were awarded the $250,000 (£127,000) prize by IT professional organisation the Association...
[February 5, 2008, 17:23]
Abstraction In Software Model Checking: Principles And Practice
White Papers This paper provides a brief description, including a bibliography, of the SPIN2002 tutorial on abstraction in model checking of software. Abstraction techniques are the methods or algorithms that can be employed to construct abstract systems from...
[April 6, 2005, 3:00]
Backlink Checking Software
Downloads Free back link analyzer tool can prove to be useful SEO application for checking links to ensure they still link back to you and reports you back via sending email alerts as well having deleting functionality for that links those are no longer...
[September 13, 2008, 12:01]
Consistency Checking Of UML Model Diagrams Using The XML Semantics Approach
White Papers This paper plans to employ the previous novel XML semantics approach, which proposed for checking the semantic consistency of XML documents using attribute grammar techniques, to check the consistency of UML diagrams.
[November 4, 2008, 23:00]
Automatic Parameter Checking
White Papers This paper will show that by using standards parts of the SAS system and developing standard naming conventions, the developer can be relieved of the burden of checking parameters. Much of applications development involving the SAS system involves...
[September 12, 2006, 1:00]
Why Anti-Virus Software Is Not Enough: The Urgent Need For Server-Based Email Content Checking
White Papers Examining the different kinds of email attacks that threaten today’s organizations, this paper describes the need for a solid server-based content-checking gateway to safeguard your business against email viruses and attacks.
[December 5, 2003, 23:27]
Simply Checking + Budget Manager
Downloads You have many choices, so why choose Simply Checking checkbook software? Unlike other checkbook software, all of our controls are visible on screen, not buried in a labyrinth of menus, yet our checkbook software is packed with convenient features.
[February 9, 2005, 8:16]
Just Checking
Downloads Just Checking takes the pain out of balancing your checking accounts. Manage multiple accounts. Always view your actual and bank balance. Import transactions from Quicken or Microsoft Money files. Advanced sorting and filtering.
[February 29, 2008, 22:46]
Compliance Checking And IPSEC Policy Management
White Papers This draft describes architecture for security policy management for IPSEC based on the principle of 'compliance checking'. We describe a two-level policy hierarchy, in which a highly flexible policy language, which in turn provides input to packet...
[November 17, 2003, 5:19]
Shape Analysis Through Predicate Abstraction And Model Checking
White Papers This paper proposes a new framework, based on predicate abstraction and model checking, for shape analysis of programs. Shape analysis is used to statically collect information - such as possible reachability and sharing - about program stores.
[April 7, 2005, 3:00]
Model Checking With Multi-Valued Logics
White Papers In multi-valued model checking, a temporal logic formula is interpreted relative to a structure not as a truth value but as a lattice element. This paper presents new algorithms for multi-valued model checking.
[April 7, 2005, 3:00]
Model Checking In IPv6 Hardware Router Design
White Papers This paper contains information about the model checking method of formal verification and the first steps of using this method in the project of IPv6 hardware router. Moreover, an overview of some model checking tools is given.
[October 31, 2004, 2:00]
