102 search results - page 8 / 21 » Symbolic Model Checking for Probabilistic Processes |
106
click to vote
RTCSA
1999
IEEE
15 years 3 months ago
1999
IEEE
ASTRAL is a high-level formal specification language for real-time (infinite state) systems. It is provided with structuring mechanisms that allow one to build modularized specifi...
ICASSP
2009
IEEE
15 years 6 months ago
2009
IEEE
The modeling of music as a language is a core issue for a wide range of applications such as polyphonic music retrieval, automatic style identification, audio to symbolic music tr...
QEST
2009
IEEE
15 years 6 months ago
2009
IEEE
—Failure mode and effects analysis (FMEA) is a technique to reason about possible system hazards that result from system or system component failures. Traditionally, FMEA does no...
113
click to vote
CHARME
2001
Springer
15 years 3 months ago
2001
Springer
We consider the formal verification of the cache coherence protocol of the Stanford FLASH multiprocessor for N processors. The proof uses the SMV proof assistant, a proof system ba...
111
click to vote
TACAS
2007
Springer
15 years 5 months ago
2007
Springer
We study and provide efficient algorithms for multi-objective model checking problems for Markov Decision Processes (MDPs). Given an MDP, M, and given multiple linear-time (ω-regu...