ABSTRACT
AUTHORS
|
|
||||||||||||||||||||||||||||||||||||||||
| View colleagues of John Penix | |||||||||||||||||||||||||||||||||||||||||
|
|
||||||||||||||||||||||||||||||||||||||||
| View colleagues of Dale Martin | |||||||||||||||||||||||||||||||||||||||||
|
|
||||||||||||||||||||||||||||||||||||||||
| View colleagues of Peter Frey | |||||||||||||||||||||||||||||||||||||||||
|
|
||||||||||||||||||||||||||||||||||||||||
| View colleagues of Ramanan Radhakrishnan | |||||||||||||||||||||||||||||||||||||||||
|
|
||||||||||||||||||||||||||||||||||||||||
| View colleagues of Perry Alexander | |||||||||||||||||||||||||||||||||||||||||
|
|
||||||||||||||||||||||||||||||||||||||||
| View colleagues of Philip A. Wilsey | |||||||||||||||||||||||||||||||||||||||||
REFERENCESNote: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.
| |
1
|
|
| |
2
|
|
|
3
|
H. Bauer and C. Sporrer. Distributed logic simulation and au approach to asynchronous GVT-calculation. In 6th Workshop on Parallel and Distributed Simulation, pages 205-208. Society ~r Computer Simulation, January 1992.
|
|
|
4
|
S. Bellenot. Global vixtual time algorithm~ In D/stributed Simulation, pages 122-127. Society for Computes Simulation, January 1990.
|
|
| |
5
|
|
|
6
|
Yi-Bing Lin and E. Lazowska. Determln~g the global virtual time in a distributed simulation. In 1990 International Conference on Parallel Proceszlng, pages III- 201-111-209, 1990.
|
|
|
7
|
||
| |
8
|
|
|
9
|
||
|
10
|
D.E. Martin, T. McBrayer, and P. A. Wilsey. WAm~gO: A time warp simulation kernel f~r analysis and application development, 1995. (available on the ,,ww at http://v~, ece. uc. edu/'paw/w~-'ped/).
|
|
|
11
|
Umamageswartm, K. and Subramaul, K. and Wilsey, P. A. and Alexander, P. Formal Specification and Verification of the Rollback Relaxation Algorithm. Submitted to Journal of Systems Architecture, Special Issue on Distributed Parallel and Distributed Simulation, August 1996.
|
|
|
12
|
||
|
13
|
Y. Martin. A Course in Mathematical Logic. Springer- Verlag, 1977.
|
CITED BY2 Citations
|
|
|
INDEX TERMSThe ACM Computing Classification System (CCS rev.2012)
PUBLICATION| Title | FMSP '98 Proceedings of the second workshop on Formal methods in software practice table of contents | ||||||||||||||||||
| Chairmen | Mark Ardis Bell Labs | ||||||||||||||||||
| Joanne Atlee Univ. of Waterloo, Waterloo, Ont., Canada | |||||||||||||||||||
| Pages | 16-23 | ||||||||||||||||||
| Publication Date | 1998-03-04 (yyyy-mm-dd) | ||||||||||||||||||
| Sponsor | SIGSOFT ACM Special Interest Group on Software Engineering | ||||||||||||||||||
| Publisher | ACM New York, NY, USA ©1998 | ||||||||||||||||||
| ISBN: 0-89791-954-8 doi>10.1145/298595.298600 | |||||||||||||||||||
| Conference | FMSPACM SIGSOFT Workshop on Formal Methods in Software Practice | ||||||||||||||||||
| Paper Acceptance Rate 12 of 44 submissions, 27% | |||||||||||||||||||
| Overall Acceptance Rate 21 of 75 submissions, 28% | |||||||||||||||||||
|
|||||||||||||||||||
REVIEWS
COMMENTSBe the first to comment To Post a comment please sign in or create a free Web account
Table of Contents| Automatic verification of railway interlocking systems: a case study | |
| Jakob Lyng Petersen | |
| Pages: 1-6 | |
| doi>10.1145/298595.298597 | |
Full text: PDF
|
|
| Property specification patterns for finite-state verification | |
| Matthew B. Dwyer, George S. Avrunin, James C. Corbett | |
| Pages: 7-15 | |
| doi>10.1145/298595.298598 | |
Full text: PDF
|
|
| Experiences in verifying parallel simulation algorithms | |
| John Penix, Dale Martin, Peter Frey, Ramanan Radhakrishnan, Perry Alexander, Philip A. Wilsey | |
| Pages: 16-23 | |
| doi>10.1145/298595.298600 | |
Full text: PDF
|
|
| Controller synthesis for the “production cell” case study | |
| Helmut Melcher, Klaus Winkelmann | |
| Pages: 24-33 | |
| doi>10.1145/298595.298601 | |
Full text: PDF
|
|
| Checking properties of safety critical specifications using efficient decision procedures | |
| David Y. W. Park, Jens U. Skakkebæk, Mats P. E. Heimdahl, Barbara J. Czerny, David L. Dill | |
| Pages: 34-43 | |
| doi>10.1145/298595.298603 | |
Full text: PDF
|
|
| Specifying the mode logic of a flight guidance system in CoRE and SCR | |
| Steven P. Miller | |
| Pages: 44-53 | |
| doi>10.1145/298595.298856 | |
Full text: PDF
|
|
| The experimental Estelle Compiler: automatic generation of implementations from formal specifications | |
| Joachim Thees, Reinhard Gotzhein | |
| Pages: 54-61 | |
| doi>10.1145/298595.298858 | |
Full text: PDF
|
|
| Service specifications: to B, or not to B | |
| Bruno Mermet, Dominique Méry | |
| Pages: 62-69 | |
| doi>10.1145/298595.298859 | |
Full text: PDF
|
|
| Verification of an audio control protocol within real time process algebra | |
| Liang Chen | |
| Pages: 70-77 | |
| doi>10.1145/298595.298860 | |
Full text: PDF
|
|
| Formal specification and validation at work: a case study using VDM-SL | |
| Sten Agerholm, Pierre-Jean Lecoeur, Etienne Reichert | |
| Pages: 78-84 | |
| doi>10.1145/298595.298861 | |
Full text: PDF
|
|
| Low-cost pathways towards formal methods use | |
| Martin S. Feather | |
| Pages: 85-91 | |
| doi>10.1145/298595.298862 | |
Full text: PDF
|
|
| Applying the SCR requirements method to a weapons control panel: an experience report | |
| Constance Heitmeyer, James Kirby, Bruce Labaw | |
| Pages: 92-102 | |
| doi>10.1145/298595.298863 | |
Full text: PDF
|
|
| Designing executable abstractions | |
| Gerard J. Holzmann | |
| Pages: 103-108 | |
| doi>10.1145/298595.298864 | |
Full text: PDF
|
|