✦ LIBER ✦

Aspect-Oriented Modeling and Verification with Finite State Machines

✍ Scribed by Dian-Xiang Xu; Omar El-Ariss; Wei-Feng Xu; Lin-Zhang Wang

Publisher: Springer
Year: 2009
Tongue: English
Weight: 573 KB
Volume: 24
Category: Article
ISSN: 1000-9000
DOI: 10.1007/s11390-009-9269-5

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Automated verification of responsive pro

Automated verification of responsive protocols modeled by extended finite state machines

✍ Yoshiaki Kakuda; Tohru Kikuno; Kenichi Kawashima 📂 Article 📅 1994 🏛 Springer US 🌐 English ⚖ 940 KB

Modelling drawbeads with finite elements

Modelling drawbeads with finite elements and verification

✍ B.D. Carleer; P.T. Vreede; P. Drent; M.F.M. Louwes; J. Huétink 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 359 KB

Reconfigurable models of finite state ma

Reconfigurable models of finite state machines and their implementation in FPGAs

✍ V. Sklyarov 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 635 KB

Symbolic model checking of extended fini

Symbolic model checking of extended finite state machines with linear constraints over integer variables

✍ Takashi Takenaka; Kozo Okano; Teruo Higashino; Kenichi Taniguchi 📂 Article 📅 2006 🏛 John Wiley and Sons 🌐 English ⚖ 338 KB

## Abstract We propose a symbolic model checking algorithm for a class of extended finite state machines equipped with integer variables (FSM/int). An FSM/int has several constraints on variable assignments, such as a variable of FSM/int keeps its value until the control visits at the definition tr

Finite state machines in state estimatio

Finite state machines in state estimation for dynamic systems with an Nth order memory and nonlinear interference

✍ Ker.I;m Dem.I;rbaş 📂 Article 📅 1989 🏛 Elsevier Science 🌐 English ⚖ 739 KB

The Viterbi decoding algorithm is used ,for the state estimation of' dynamic systems having Nth order memory and nonlinear interference. The state model is a nonlinear ,function of the disturbance noise and discrete values of the state. The observation model is a nonlinear ,function of the observati

A new approach to the verification of ch

A new approach to the verification of chinese signatures with variant orientations and scales using relaxation and state-space search methods

✍ Chi-Fang Lin; Chi-Wen Chen 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 438 KB

A signature verification system usually consists of a learning stage and a testing stage. Always an assumption is made by most previous studies that the variations in orientation and scale of the signatures done by the signer in the two stages should be minimized, otherwise, errors might occur. In t