wikidata.org
Formal Methods in Software Practice
container_5gbr5sbaiveihpnjxtw4p6az5q
Example Publications
Using predicate abstraction to reduce object-oriented programs for model checking
William Visser, SeungJoon Park, John Penix
2000
|
Formal Methods in Software Practice
doi:10.1145/349360.351125 dblp:conf/fmsp/VisserPP00
Completeness in formal specification language design for process-control systems
Nancy Leveson
2000
|
Formal Methods in Software Practice
doi:10.1145/349360.351140 dblp:conf/fmsp/Leveson00
Using TAME to prove invariants of automata models
Myla Archer, Constance Heitmeyer, Elvinia Riccobene
2000
|
Formal Methods in Software Practice
doi:10.1145/349360.351127 dblp:conf/fmsp/ArcherHR00
Low-cost pathways towards formal methods use
Martin S. Feather
1998
|
Formal Methods in Software Practice
doi:10.1145/298595.298862 dblp:conf/fmsp/Feather98
Property specification patterns for finite-state verification
Matthew B. Dwyer, George S. Avrunin, James C. Corbett
1998
|
Formal Methods in Software Practice
doi:10.1145/298595.298598 dblp:conf/fmsp/DwyerAC98