1304 search results - page 72 / 261 » Model Checking C Programs Using F-SOFT |
125
Voted
CCS
2008
ACM
15 years 4 months ago
2008
ACM
Single-Sign-On (SSO) protocols enable companies to establish a federated environment in which clients sign in the system once and yet are able to access to services offered by dif...
113
Voted
ICALP
1994
Springer
15 years 6 months ago
1994
Springer
We introduce a formal framework to study the time and space complexity of computing with faulty memory. For the fault-free case, time and space complexities were studied using the...
128
click to vote
ICFEM
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Refinement plays a crucial role in "top-down" styles of verification, such as the refinement calculus, but for probabilistic systems proof of refinement is a pa...
97
Voted
JUCS
2007
15 years 2 months ago
2007
: In the IEEE 802.1D standard for the Media Access Control layer (MAC layer) bridges, there is an STP (Spanning Tree Protocol) definition, based on the algorithm that was proposed...
117
Voted
POPL
2009
ACM
15 years 9 months ago
2009
ACM
Concurrent Collections (CnC)[8] is a declarative parallel language that allows the application developer to express their parallel application as a collection of high-level comput...