4047 search results - page 255 / 810 » Algebraic Model Checking |
165
click to vote
PLILP
1998
Springer
15 years 10 months ago
1998
Springer
: The bene ts of the object, logic or relational, functional, and constraint paradigms can be obtained from our previous combination of the object and functional paradigms in hidde...
118
click to vote
EURODAC
1994
IEEE
15 years 10 months ago
1994
IEEE
The VOVHDL language was defined as a verification oriented VHDL
155
click to vote
FMICS
2007
Springer
16 years 23 days ago
2007
Springer
Using PVS (Prototype Verification System), we prove that an industry designed scheduler for a smartcard personalization machine is safe and optimal. This scheduler has previously ...
185
click to vote
SIGSOFT
2009
ACM
16 years 7 months ago
2009
ACM
System specifications have long been expressed through automata-based languages, enabling verification techniques such as model checking. These verification techniques can assess ...
162
click to vote
TACAS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Model checking suffers not only from the state-space explosion problem, but also from the environment modeling problem: how can one create an accurate enough model of the...