152 views115 votes15 years 5 months ago ISSTA 1998»
We present various techniques for improving the time and space efficiency of symbolic model checking for system requirements specified as synchronous finite state machines. We use...
This paper presents the experiences of using a symbolic model checker to check the safety properties of a servoloop control system. Symbolic model checking has been shown to be be...
87 views108 votes15 years 2 months ago FORTE 2004»
Eliciting, modeling, and analyzing the requirements are the main challenges to face up when you want to produce a formal specification for distributed systems. The distribution and...
Abstract. We propose an extension of the Finite State Machine framework in distributed systems, using input/output partial order automata (IOPOA). In this model, transitions can be...
159 views138 votes15 years 1 months ago BMCBI 2007»
Background: A finite state machine manipulating information-carrying DNA strands can be used to perform autonomous molecular-scale computations at the cellular level. Results: We ...
141 views117 votes15 years 7 months ago SEFM 2005»
The development of test cases is an important issue for testing software, communication protocols and other reactive systems. A number of methods are known for the development of ...
174 views111 votes15 years 7 months ago ICDCS 2007»
Security and reliability of network protocol implementations are essential for communication services. Most of the approaches for verifying security and reliability, such as forma...
Formal modeling of complex systems is a non-trivial task, especially if a formal method does not facilitate separate development of the components of a system. This paper describes...
132 views144 votes15 years 2 months ago FORTE 1994»
Critical safety and liveness properties of a concurrent system can often be proven with the help of a reachability analysis of a finite state model. This type of analysis is usual...
153 views123 votes14 years 11 months ago SIGCSE 2008»
We present the design and development of a Visual Learning Engine, a tool that can form the basis for interactive development of visually rich teaching and learning modules across...