1108 search results - page 75 / 222 » Model Checking of Safety Properties |
91
Voted
ACSD
2006
IEEE
15 years 6 months ago
2006
IEEE
A schedule of a Petri Net (PN) represents a set of firing sequences that can be infinitely repeated within a bounded state space, regardless of the outcomes of the nondeterminis...
91
Voted
MEMOCODE
2006
IEEE
15 years 6 months ago
2006
IEEE
Timed I/O Automata (TIOA) is a mathematical framework for modeling and verification of distributed systems that involve discrete and continuous dynamics. TIOA can be used for exa...
146
click to vote
BIRTHDAY
2004
Springer
15 years 6 months ago
2004
Springer
CSP was originally introduced as a parallel programming language in which sequential imperative processes execute concurrently and communicate by synchronized input and output. The...
117
Voted
TASE
2007
IEEE
15 years 6 months ago
2007
IEEE
Software has been under scrutiny by the verification community from various angles in the recent past. There are two major algorithmic approaches to ensure the correctness of and...
129
Voted
ACMICEC
2007
ACM
15 years 4 months ago
2007
ACM
Norms defined by institutions and enforced by organizations have been put forward as a mechanism to increase the efficiency and reliability of electronic transactions carried out ...