Search results for "PROSPEC"

Found 10 publication records. Showing 10 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
118	Ching-Hua Chow, Simon S. Lam	PROSPEC: An Interactive Programming Environment for Designing and Verifying Communication Protocols.	IEEE Trans. Software Eng.	1988	DBLP DOI BibTeX RDF	communication protocols verification, PROSPEC, interactive programming environment, fair reachability analysis, multiphase construction, protocol projection, BSC, X.21, X.25, Telnet document transfer protocols, protocols, specification, software tools, programming environments, graphical interface, interactive programming
80	Salamah Salamah, Ann Q. Gates, Steve Roach	Improving Pattern-Based LTL Formulas for Automata Model Checking.	ITNG	2008	DBLP DOI BibTeX RDF	B¨uchi Automaton, Prospec, Composite Propositions, Pattern, LTL, Scope
74	Salamah Salamah, Ann Q. Gates, Steve Roach, Oscar Mondragon	Verifying Pattern-Generated LTL Formulas: A Case Study.	SPIN	2005	DBLP DOI BibTeX RDF
68	Cuauhtemoc Munoz, Steve Roach	Automated Testing of LTL Formula Generation by Prospec.	HASE	2010	DBLP DOI BibTeX RDF	Prospec, Specification Pattern System, automated testing, LTL
37	Hugo Kermabon-Bobinnec, Mahmood Gholipourchoubeh, Sima Bagheri, Suryadipta Majumdar, Yosr Jarraya, Makan Pourzandi, Lingyu Wang 0001	ProSPEC: Proactive Security Policy Enforcement for Containers.	CODASPY	2022	DBLP DOI BibTeX RDF
37	Irbis Gallegos, Omar Ochoa, Ann Q. Gates, Steve Roach, Salamah Salamah, Corina Vela	A Property Specification Tool for Generating Formal Specifications: Prospec 2.0.	SEKE	2008	DBLP BibTeX RDF
37	Oscar Mondragon, Ann Q. Gates, Steve Roach	Prospec: Support for Elicitation and Formal Specification of Software Properties.	RV@CAV	2003	DBLP DOI BibTeX RDF
25	Salamah Salamah, Ann Q. Gates, Vladik Kreinovich, Steve Roach	Verification of Automatically Generated Pattern-Based LTL Specifications.	HASE	2007	DBLP DOI BibTeX RDF
25	Salamah Salamah, Ann Q. Gates, Vladik Kreinovich, Steve Roach	Using Patterns and Composite Propositions to Automate the Generation of LTL Specifications.	ATVA	2007	DBLP DOI BibTeX RDF
25	Ann Q. Gates, Steve Roach, Irbis Gallegos, Omar Ochoa, Oleg Sokolsky	JavaMaC and Runtime Monitoring for Geoinformatics Grid Services.	WORDS	2005	DBLP DOI BibTeX RDF

Displaying result #1 - #10 of 10 (100 per page; Change: )