Literatura académica sobre el tema "Formal methds"
Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros
Consulte las listas temáticas de artículos, libros, tesis, actas de conferencias y otras fuentes académicas sobre el tema "Formal methds".
Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.
También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.
Artículos de revistas sobre el tema "Formal methds"
Woodcock, Jim, Peter Gorm Larsen, Juan Bicarregui y John Fitzgerald. "Formal methods". ACM Computing Surveys 41, n.º 4 (octubre de 2009): 1–36. http://dx.doi.org/10.1145/1592434.1592436.
Texto completoBerry, Daniel M. "Formal Methods:". Electronic Notes in Theoretical Computer Science 25 (1999): 10–22. http://dx.doi.org/10.1016/s1571-0661(04)00127-6.
Texto completoLeveson, Nancy. "Formal methods". ACM SIGSOFT Software Engineering Notes 17, n.º 1 (enero de 1992): 49–50. http://dx.doi.org/10.1145/134292.134298.
Texto completoWing, Jeannette M. "Formal methods". ACM SIGAda Ada Letters 33, n.º 3 (29 de noviembre de 2013): 85–86. http://dx.doi.org/10.1145/2658982.2527291.
Texto completovan der Linden, Frank J. "Formal methods". ACM SIGPLAN Notices 29, n.º 7 (julio de 1994): 29–38. http://dx.doi.org/10.1145/181593.184668.
Texto completoClarke, Edmund M. y Jeannette M. Wing. "Formal methods". ACM Computing Surveys 28, n.º 4 (diciembre de 1996): 626–43. http://dx.doi.org/10.1145/242223.242257.
Texto completoEmerson, E. Allen. "Automated formal methods". ACM SIGSOFT Software Engineering Notes 25, n.º 1 (enero de 2000): 49. http://dx.doi.org/10.1145/340855.340886.
Texto completoJones, Cliff. "Formal methods light". ACM Computing Surveys 28, n.º 4es (diciembre de 1996): 121. http://dx.doi.org/10.1145/242224.242380.
Texto completoMoore, J. Strother. "Functional formal methods". ACM SIGPLAN Notices 37, n.º 9 (17 de septiembre de 2002): 123. http://dx.doi.org/10.1145/583852.581490.
Texto completoGeorge, Louis. "Non-Formal Methods of Chemistry Education". Mapana - Journal of Sciences 4, n.º 1 (18 de julio de 2005): 36–41. http://dx.doi.org/10.12723/mjs.6.8.
Texto completoTesis sobre el tema "Formal methds"
Al-Jaljouli, Raja Computer Science & Engineering Faculty of Engineering UNSW. "A proposed security protocol for data gathering mobile agents". Awarded by:University of New South Wales. School of Computer Science and Engineering, 2006. http://handle.unsw.edu.au/1959.4/23999.
Texto completoRazali, Rozilawati. "Usability of semi-formal and formal methods integration : empirical assessments". Thesis, University of Southampton, 2008. https://eprints.soton.ac.uk/265391/.
Texto completoFredriksen, Inge. "Formal Methods for System Development". Thesis, Norwegian University of Science and Technology, Department of Engineering Cybernetics, 2009. http://urn.kb.se/resolve?urn=urn:nbn:no:ntnu:diva-9991.
Texto completoTwo main types of formal methods have been investigated, formal specification and formal verification. Focus for formal verification has been on the concept of un-timed model checking. Some dominating formal specification languages, VDM and Z, and some prominent model checkers, FDR, Spin, and LTSA, have been learnt and presented. A tutorial for the formal verification tool Spin is created. The tutorial is example driven and describes the description language Promela and the verification methods available in Spin. Care has been taken to illustrate reasoning about the results from Spin. Topics discussed include the applicability and need for formal methods, the possible need for understanding the underlying theory, and considerations made in regards to creating the tutorial.
Matthews, Chris y mikewood@deakin edu au. "Fuzzy concepts and formal methods". Deakin University. School of Management Information Systems, 2001. http://tux.lib.deakin.edu.au./adt-VDU/public/adt-VDU20051201.154843.
Texto completoChen, Y. "Formal methods for global synchrony". Thesis, University of Oxford, 2001. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.365295.
Texto completoHinchey, Michael Gerard. "Structural design and formal methods". Thesis, University of Cambridge, 1999. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.624390.
Texto completoRead, Simon. "Formal methods for VLSI design". Thesis, University of Manchester, 1994. http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.239786.
Texto completoWood, Clark S. M. Massachusetts Institute of Technology. "A formal methods safe harbor". Thesis, Massachusetts Institute of Technology, 2019. https://hdl.handle.net/1721.1/122219.
Texto completoCataloged from PDF version of thesis.
Includes bibliographical references (pages 77-84).
We discuss a problem: Internet of Things devices running software are vulnerable to accidents and exploitation, a technology solution: preventing exploitable bugs by developing machine-checked proofs of software correctness and security, and a policy lever to incentivize adoption of this solution: a safe harbor from FTC unfairness prosecution for manufacturers that use formal methods to guarantee safer, more secure devices. To motivate the potential of formal methods, we present a technical contribution: a formally verified connected lightbulb switch, proven immune to certain types of software exploits. We discuss a framework, the Common Weakness Enumeration, that the FTC and manufacturers could use as a shared language to explain what classes of software vulnerability a manufacturer will defend against. We outline the authority of the FTC in regards to poor data security practices as unfair practices and how our safe harbor would both provide immunity to participants and be updated over time to continue to incentivize ever stronger software protections.
by Clark Wood.
S.M. in Technology and Policy
S.M.inTechnologyandPolicy Massachusetts Institute of Technology, School of Engineering, Institute for Data, Systems, and Society
Yao, Yow-Wei. "Formal methods for protocol conversion /". The Ohio State University, 1991. http://rave.ohiolink.edu/etdc/view?acc_num=osu1487693923198251.
Texto completoBanks, Michael J. "On confidentiality and formal methods". Thesis, University of York, 2012. http://etheses.whiterose.ac.uk/2709/.
Texto completoLibros sobre el tema "Formal methds"
Boulanger, Jean-Louis, ed. Formal Methods. Hoboken, NJ, USA: John Wiley & Sons, Inc., 2013. http://dx.doi.org/10.1002/9781118561898.
Texto completoHavelund, Klaus, Jan Peleska, Bill Roscoe y Erik de Vink, eds. Formal Methods. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-95582-7.
Texto completoNielson, Flemming y Hanne Riis Nielson. Formal Methods. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-05156-3.
Texto completoAraki, Keijiro. Formal methods: Proceedings. Berlin: Springer, 2003.
Buscar texto completoBrat, Guillaume, Neha Rungta y Arnaud Venet, eds. NASA Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2013. http://dx.doi.org/10.1007/978-3-642-38088-4.
Texto completoDerrick, John, Stefania Gnesi, Diego Latella y Helen Treharne, eds. Integrated Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2012. http://dx.doi.org/10.1007/978-3-642-30729-4.
Texto completoHavelund, Klaus, Gerard Holzmann y Rajeev Joshi, eds. NASA Formal Methods. Cham: Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-17524-9.
Texto completoPolikarpova, Nadia y Steve Schneider, eds. Integrated Formal Methods. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-66845-1.
Texto completoLeuschel, Michael y Heike Wehrheim, eds. Integrated Formal Methods. Berlin, Heidelberg: Springer Berlin Heidelberg, 2009. http://dx.doi.org/10.1007/978-3-642-00255-7.
Texto completoAlbert, Elvira y Emil Sekerinski, eds. Integrated Formal Methods. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-10181-1.
Texto completoCapítulos de libros sobre el tema "Formal methds"
Lysne, Olav. "Formal Methods". En The Huawei and Snowden Questions, 75–85. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-319-74950-1_9.
Texto completoO’Regan, Gerard. "Formal Methods". En Undergraduate Topics in Computer Science, 185–207. Cham: Springer International Publishing, 2017. http://dx.doi.org/10.1007/978-3-319-57750-0_12.
Texto completoPeled, Doron A. "Formal Methods". En Handbook of Software Engineering, 193–222. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-00262-6_5.
Texto completoTurner, Raymond. "Formal Methods". En Computational Artifacts, 151–60. Berlin, Heidelberg: Springer Berlin Heidelberg, 2018. http://dx.doi.org/10.1007/978-3-662-55565-1_18.
Texto completoKao, Ming-Yang. "Formal Methods". En Encyclopedia of Algorithms, 322. Boston, MA: Springer US, 2008. http://dx.doi.org/10.1007/978-0-387-30162-4_147.
Texto completoO’Regan, Gerard. "Formal Methods". En The Innovation in Computing Companion, 133–36. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-030-02619-6_27.
Texto completoO’Regan, Gerard. "Formal Methods". En Introduction to Software Quality, 289–309. Cham: Springer International Publishing, 2014. http://dx.doi.org/10.1007/978-3-319-06106-1_17.
Texto completoO’Regan, Gerard. "Formal Methods". En Mathematics in Computing, 89–108. London: Springer London, 2012. http://dx.doi.org/10.1007/978-1-4471-4534-9_5.
Texto completoHall, Anthony, Jonathan P. Bowen, Michael G. Hinchey, Jeannette M. Wing y C. A. R. Hoare. "Formal Methods". En High-Integrity System Specification and Design, 127–230. London: Springer London, 1999. http://dx.doi.org/10.1007/978-1-4471-3431-2_3.
Texto completoCraigen, Dan y Karen Summerskill. "Formal Methods". En Workshops in Computing, 33–62. London: Springer London, 1990. http://dx.doi.org/10.1007/978-1-4471-3532-6_4.
Texto completoActas de conferencias sobre el tema "Formal methds"
"[Front cover]". En 2009 Fourth South-East European Workshop on Formal Methods. Formal Methods for Web Services, Formal Methods for Agent-Based Systems (SEEFM 2009). IEEE, 2009. http://dx.doi.org/10.1109/seefm.2009.22.
Texto completo"Table of contents". En 2009 Fourth South-East European Workshop on Formal Methods. Formal Methods for Web Services, Formal Methods for Agent-Based Systems (SEEFM 2009). IEEE, 2009. http://dx.doi.org/10.1109/seefm.2009.8.
Texto completoWing, Jeannette M. "Formal methods". En the 2013 ACM SIGAda annual conference. New York, New York, USA: ACM Press, 2013. http://dx.doi.org/10.1145/2527269.2527291.
Texto completoCavada, Roberto, Alessandro Cimatti, Anders Franzen, Krishnamani Kalyanasundaram, Marco Roveri y R. K. Shyamasundar. "Computing Predicate Abstractions by Integrating BDDs and SMT Solvers". En Formal Methods in Computer Aided Design. IEEE, 2007. http://dx.doi.org/10.1109/famcad.2007.35.
Texto completoShore, Richard P. "A Use Case Interpretation of B AMN". En 2nd Irish Workshop on Formal Methods. BCS Learning & Development, 1998. http://dx.doi.org/10.14236/ewic/fm1998.13.
Texto completoCouturier, Raphaël. "Formal engineering of the bitonic sort using PVS". En 2nd Irish Workshop on Formal Methods. BCS Learning & Development, 1998. http://dx.doi.org/10.14236/ewic/fm1998.2.
Texto completoGibbons, Hugh. "Declarative View of Imperative Programs". En 2nd Irish Workshop on Formal Methods. BCS Learning & Development, 1998. http://dx.doi.org/10.14236/ewic/fm1998.3.
Texto completoGoldson, Doug. "Multiprogram Design in the theory of Owicki and Gries". En 5th Irish Workshop on Formal Methods. BCS Learning & Development, 2001. http://dx.doi.org/10.14236/ewic/iwfm2001.2.
Texto completoDroschl, Georg. "On the Integration of Formal Methods: Events and Scenarios in PVS and VDM". En 3rd Irish Workshop on Formal Methods. BCS Learning & Development, 1999. http://dx.doi.org/10.14236/ewic/iwfm1999.4.
Texto completoBryans, Jeremy y John Derrick. "Stochastic Specification and Verification". En 3rd Irish Workshop on Formal Methods. BCS Learning & Development, 1999. http://dx.doi.org/10.14236/ewic/iwfm1999.3.
Texto completoInformes sobre el tema "Formal methds"
WETSTONE TECHNOLOGIES CORTLAND NY. Formal Methods Framework. Fort Belvoir, VA: Defense Technical Information Center, febrero de 2002. http://dx.doi.org/10.21236/ada399514.
Texto completoBlack, Paul E. Formal methods for statistical software. Gaithersburg, MD: National Institute of Standards and Technology, octubre de 2019. http://dx.doi.org/10.6028/nist.ir.8274.
Texto completoTeitelbaum, Ray. A Prototype Formal Methods Environment. Fort Belvoir, VA: Defense Technical Information Center, mayo de 2001. http://dx.doi.org/10.21236/ada389751.
Texto completoWitzel, Wayne, Kenneth Michael Rudinger y Mohan Sarovar. Versatile Formal Methods Applied to Quantum Information. Office of Scientific and Technical Information (OSTI), noviembre de 2015. http://dx.doi.org/10.2172/1331534.
Texto completoMoriconi, Mark. Structure Based Formal Methods for Software Engineering. Fort Belvoir, VA: Defense Technical Information Center, julio de 1989. http://dx.doi.org/10.21236/ada211660.
Texto completoWeber, D. G., Cheryl Barbasch y James Morris. Ada Formal Methods in the STARS Environment. Fort Belvoir, VA: Defense Technical Information Center, junio de 1992. http://dx.doi.org/10.21236/ada257431.
Texto completoRushby, John. A Formal Methods Workbench for Critical Systems. Fort Belvoir, VA: Defense Technical Information Center, mayo de 2000. http://dx.doi.org/10.21236/ada378690.
Texto completoHeitmeyer, Constance. On the Need for Practical Formal Methods. Fort Belvoir, VA: Defense Technical Information Center, enero de 1998. http://dx.doi.org/10.21236/ada465485.
Texto completoLi, Wenchao. Formal Methods for Reverse Engineering Gate-Level Netlists. Fort Belvoir, VA: Defense Technical Information Center, diciembre de 2013. http://dx.doi.org/10.21236/ada623698.
Texto completoMeadows, Catherine. Open Issues in Formal Methods for Cryptographic Protocol Analysis. Fort Belvoir, VA: Defense Technical Information Center, abril de 2001. http://dx.doi.org/10.21236/ada385327.
Texto completo