2488 search results - page 108 / 498 » An improvement in formal verification |
116
click to vote
ICFEM
2009
Springer
14 years 10 months ago
2009
Springer
Abstract. This paper shows how Ptolemy II discrete-event (DE) models can be formally analyzed using Real-Time Maude. We formalize in Real-Time Maude the semantics of a subset of hi...
105
click to vote
ENTCS
2006
15 years 23 days ago
2006
The application of formal methods to security protocol analysis has been extensively researched during the last 25 years. Several formalisms and (semi-)automatic tools for the ver...
101
Voted
KBSE
2005
IEEE
15 years 6 months ago
2005
IEEE
We consider a formal framework for property verification of web applications using Spin model checker. Some of the web related properties concern all states of the model, while ot...
DAC
2007
ACM
16 years 1 months ago
2007
ACM
tive Guidance Strategy for Abstraction-Guided Simulation Flavio M. De Paula Alan J. Hu Department of Computer Science, University of British Columbia, {depaulfm, ajh}@cs.ubc.ca D...
SIGSOFT
2001
ACM
16 years 1 months ago
2001
ACM
Most quality and software process improvement frameworks emphasize written (i.e. formal) documentation to convey recommended work practices. However, there is considerable skeptic...