175 search results - page 22 / 35 » Symbolic Model Checking for Asynchronous Boolean Programs |
122
Voted
FDL
2011
IEEE
14 years 2 months ago
2011
IEEE
—For the description of reactive systems, there is a large number of languages and formalisms, and depending on a particular application or design phase, one of them may be bette...
192
click to vote
LICS
2003
IEEE
15 years 7 months ago
2003
IEEE
Probability features increasingly often in software and hardware systems: it is used in distributed co-ordination and routing problems, to model fault-tolerance and performance, a...
122
click to vote
TSE
2010
15 years 18 days ago
2010
— Web script crashes and malformed dynamically-generated web pages are common errors, and they seriously impact the usability of web applications. Current tools for web-page vali...
112
click to vote
ETFA
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper presents a new approach to modelling and verification of function block applications of the IEC 61499 standard. The approach uses the language of logic programming Prol...
130
Voted
CAV
2006
Springer
15 years 6 months ago
2006
Springer
Many multithreaded programs employ concurrent data types to safely share data among threads. However, highly-concurrent algorithms for even seemingly simple data types are difficul...