65 search results - page 1 / 13 » EMMA: Explicit Model Checking Manager (Tool Presentation) |
SPIN
2009
Springer
14 years 5 months ago
2009
Springer
TSE
2010
13 years 9 months 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...
SPIN
2004
Springer
14 years 4 months ago
2004
Springer
The Murϕ-based Hopper tool is a general purpose explicit model checker. Hopper leverages Murϕ’s class structure to implement new algorithms. Hopper differs from Murϕ in that i...
WEBNET
2001
14 years 7 days ago
2001
We propose a generic presentation system for adaptive educational hypermedia that is highly independent from domain knowledge representation and application state management. Our a...
CONCUR
2008
Springer
14 years 19 days ago
2008
Springer
Software transactional memory (STM) offers a disciplined concurrent programming model for exploiting the parallelism of modern processor architectures. This paper presents the firs...