|
|
|
|
Venues (Conferences, Journals, ...)
|
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 74 occurrences of 60 keywords
|
|
|
|
|
Results
Found 26 publication records. Showing 26 according to the selection in the facets
| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | David L. Dill |
Model checking Java programs.  |
FMSP  |
2000 |
DBLP DOI BibTeX RDF |
Java |
| 1 | Ernst-Rüdiger Olderog, Anders P. Ravn |
Completeness in formal specification language design for process-control systems. |
FMSP |
2000 |
DBLP DOI BibTeX RDF |
UML |
| 1 | Douglas R. Smith |
Software synthesis and applications (abstract only). |
FMSP |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Robert J. Hall 0001 |
Specification, validation, and synthesis of email agent controllers: A case study in function rich reactive system design. |
FMSP |
2000 |
DBLP DOI BibTeX RDF |
Formal Methods, Reactive Systems, Electronic Mail |
| 1 | Mats Per Erik Heimdahl (eds.) |
Proceedings of the Third Workshop on Formal Methods in Software Practice, 2000, Portland, Oregon, USA |
FMSP |
2000 |
DBLP BibTeX RDF |
|
| 1 | Willem Visser, Seungjoon Park, John Penix |
Using predicate abstraction to reduce object-oriented programs for model checking. |
FMSP |
2000 |
DBLP DOI BibTeX RDF |
browsing |
| 1 | Nils Klarlund, Anders Møller, Michael I. Schwartzbach |
DSD: A schema language for XML. |
FMSP |
2000 |
DBLP DOI BibTeX RDF |
XML |
| 1 | Nancy G. Leveson |
Completeness in formal specification language design for process-control systems. |
FMSP |
2000 |
DBLP DOI BibTeX RDF |
completeness, process-control, Formal specification language |
| 1 | Karthikeyan Bhargavan, Carl A. Gunter, Davor Obradovic |
Fault origin adjudication. |
FMSP |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | W. B. Martin, P. D. White, W. Mark Vanfleet |
Government, industry, and academia: Teaming to design high confidence information security applications. |
FMSP |
2000 |
DBLP DOI BibTeX RDF |
data isolation, formal specification, refinement, information flow, Separation kernel |
| 1 | Cindy Kong, Perry Alexander, Darryl D. Dieckman |
Formal modeling of active network nodes using PVS. |
FMSP |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Myla Archer, Constance L. Heitmeyer, Elvinia Riccobene |
Using TAME to prove invariants of automata models: Two case studies. |
FMSP |
2000 |
DBLP DOI BibTeX RDF |
software requirements analysis, Software engineering, verification, formal methods, theorem proving |
| 1 | Mark A. Ardis, Joanne M. Atlee (eds.) |
Proceedings of the Second Workshop on Formal Methods in Software Practice, March 4-5, 1998, Clearwater Beach, Florida, USA |
FMSP |
1998 |
DBLP BibTeX RDF |
|
| 1 | Bruno Mermet, Dominique Méry |
Service specifications: to B, or not to B. |
FMSP |
1998 |
DBLP DOI BibTeX RDF |
B abstract machine, formal specification, case studies, service, invariance, feature interaction, theorem prover, proof obligation |
| 1 | Martin S. Feather |
Low-cost pathways towards formal methods use. |
FMSP |
1998 |
DBLP DOI BibTeX RDF |
tabular representations, formal methods, requirements, analysis, traceability, flowcharts |
| 1 | John Penix, Dale E. Martin, Peter Frey, Ramanan Radhakrishnan, Perry Alexander, Philip A. Wilsey |
Experiences in verifying parallel simulation algorithms. |
FMSP |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Sten Agerholm, Pierre-Jean Lecoeur, Etienne Reichert |
Formal specification and validation at work: a case study using VDM-SL. |
FMSP |
1998 |
DBLP DOI BibTeX RDF |
VDM |
| 1 | Helmut Melcher, Klaus Winkelmann |
Controller synthesis for the "production cell" case study. |
FMSP |
1998 |
DBLP DOI BibTeX RDF |
Case Study Production Cell, synchronity, specification, controller, synthesis |
| 1 | Matthew B. Dwyer, George S. Avrunin, James C. Corbett |
Property specification patterns for finite-state verification. |
FMSP |
1998 |
DBLP DOI BibTeX RDF |
formal specification, patterns, concurrent systems, finite-state verification |
| 1 | Steven P. Miller |
Specifying the mode logic of a flight guidance system in CoRE and SCR. |
FMSP |
1998 |
DBLP DOI BibTeX RDF |
flight guidance, formal specification, formal methods, requirements engineering, requirements, safety critical systems, CoRE, avionics, high integrity systems, SCR, flight control |
| 1 | David Y. W. Park, Jens U. Skakkebæk, Mats Per Erik Heimdahl, Barbara J. Czerny, David L. Dill |
Checking properties of safety critical specifications using efficient decision procedures. |
FMSP |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Joachim Thees, Reinhard Gotzhein |
The experimental Estelle Compiler: automatic generation of implementations from formal specifications. |
FMSP |
1998 |
DBLP DOI BibTeX RDF |
specification languages, tool support, performance optimization, performance monitoring, Automatic Code Generation, protocol implementation, Estelle, XTP |
| 1 | Gerard J. Holzmann |
Designing executable abstractions. |
FMSP |
1998 |
DBLP DOI BibTeX RDF |
distributed systems, model checking, software verification |
| 1 | Jakob Lyng Petersen |
Automatic verification of railway interlocking systems: a case study. |
FMSP |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Constance L. Heitmeyer, James Kirby, Bruce G. Labaw |
Applying the SCR requirements method to a weapons control panel: an experience report. |
FMSP |
1998 |
DBLP DOI BibTeX RDF |
simulation, model checking, verification, formal specification, formal methods, specification, software tools, validation, requirements, consistency checking |
| 1 | Liang Chen |
Verification of an audio control protocol within real time process algebra. |
FMSP |
1998 |
DBLP DOI BibTeX RDF |
weak bisimulation, real time system, formal methods, process algebra, communication protocol |
Displaying result #1 - #26 of 26 (100 per page; Change: )
|
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license