2514 search results - page 462 / 503 » The use of industrial-strength formal methods |
122
Voted
CHARME
2003
Springer
15 years 7 months ago
2003
Springer
This paper shows how classic inductive assertions can be used in conjunction with an operational semantics to prove partial correctness properties of programs. The method imposes o...
112
click to vote
WSC
1998
15 years 3 months ago
1998
MODSIM II is an object-oriented discrete event simulation language featuring extensive run-time libraries, graphical user interface and results presentation tools, database access...
122
click to vote
SIAMCOMP
2010
15 years 10 days ago
2010
Some systems interact with their environment at physically distributed interfaces, called ports, and in testing such a system it is normal to place a tester at each port. Each test...
145
click to vote
BMCBI
2011
14 years 9 months ago
2011
Background: In rule-based modeling, graphs are used to represent molecules: a colored vertex represents a component of a molecule, a vertex attribute represents the internal state...
143
click to vote
RTSS
2005
IEEE
15 years 7 months ago
2005
IEEE
Recently there has been a growing interest in models and methods targeted towards the (co)design of stream processing applications; e.g. those for audio/video processing. Streams ...