Your Search Results

Use materials about this topic in your textbook!

AcademicPub holds over eight million pieces of educational content - such as case studies and journal articles - for you to mix-and-match your way.

Experience the freedom of customizing your course pack with AcademicPub!
Not an educator but still interested in using this content? No problem! Visit our provider's page to contact the publisher and get permission directly.

Topic: Program Verification

Results

Introducing iteration into the Pure Lisp theorem prover
1975 / IEEE
By: Moore, J.S.;
An interactive program verification system
1975 / IEEE
By: London, R.L.; Bledsoe, W.W.; Good, D.I.;
A synthesizer of inductive assertions
1975 / IEEE
By: German, S.M.; Wegbreit, B.;
Instruction set processor specifications (ISPS): The notation and its applications
1981 / IEEE
By: Barbacci, M.R.;
Typestate: A programming language concept for enhancing software reliability
1986 / IEEE
By: Strom, R.E.; Yemini, S.;
Mechanical verification and automatic implementation of communication protocols
1986 / IEEE
By: Sidhu, D.P.; Blumer, T.P.;
Software Testing and Verification in Climate Model Development
2011 / IEEE
By: Rood, R.B.; Clune, T.L.;
A Quality-Distinction Model of IT Capabilities: Conceptualization and Two-Stage Empirical Validation Using CMMi Processes
2012 / IEEE
By: Swinarski, M.E.; Kishore, R.; Rao, H.R.; Jackson, E.;
Formal Specification-Based Inspection for Verification of Programs
2012 / IEEE
By: Shaoying Liu; McDermid, J.A.; Nagoya, F.; Yuting Chen;
Expressing Coarse-Grain Dependencies Among Tasks in Shared Memory Programs
2011 / IEEE
By: Larsen, P.; Madsen, J.; Karlsson, S.;
Synthesizing Globally Asynchronous Locally Synchronous Systems With IEC 61499
2012 / IEEE
By: Shaw, G.D.; Li Hsien Yoong; Salcic, Z.; Roop, P.S.;
An Overview of Open SystemC Initiative Standards Development
2012 / IEEE
By: Bhattacharya, B.; Wieman, T.; Vanthournout, B.; Schroder, C.; Jeremiassen, T.;
Verification of Bounded Discrete Horizon Hybrid Automata
2012 / IEEE
By: Viswanathan, M.; Prabhakar, P.; Vladimerou, V.; Dullerud, G.;
A Taxonomy of Buffer Overflow Characteristics
2012 / IEEE
By: Howard, D.; Engle, S.; Bishop, M.; Whalen, S.;
Lessons from VAX/SVS for High-Assurance VM Systems
2012 / IEEE
By: Lipner, S.; Zurko, M.E.; Jaeger, T.;
Automatic enforcement of architectural design rules
2010 / IEEE / 978-1-60558-719-6
By: Mattsson, A.;
An empirical study of optimizations in YOGI
2010 / IEEE / 978-1-60558-719-6
By: Rajamani, S.K.; Nori, A.V.;
STORM: static unit checking of concurrent programs
2010 / IEEE / 978-1-60558-719-6
By: Rakamaric, Z.;
SMT-based bounded model checking for multi-threaded software in embedded systems
2010 / IEEE / 978-1-60558-719-6
By: Cordeiro, L.;
Slicing and dicing bugs in concurrent programs
2010 / IEEE / 978-1-60558-719-6
By: Mercer, E.; Rungta, N.;
A proposal for consistency checking in dynamic software product line models using OCL
2010 / IEEE / 978-1-60558-719-6
By: Marinho, F.G.;
QED: a proof system based on reduction and abstraction for the static verification of concurrent software
2010 / IEEE / 978-1-60558-719-6
By: Elmas, T.;
Umple: a model-oriented programming language
2010 / IEEE / 978-1-60558-719-6
By: Badreddin, O.;
A framework for handling variants of software models
2010 / IEEE / 978-1-60558-719-6
By: Pichler, C.;
Model checking lots of systems: efficient verification of temporal properties in software product lines
2010 / IEEE / 978-1-60558-719-6
By: Heymans, P.; Classen, A.; Raskin, J.-F.; Legay, A.; Schobbens, P.-Y.;
Automatic verification environment for embedded software reliability testing
2011 / IEEE / 978-1-61284-666-8
By: Jun Ai; Fangling Zhong; Qi Ao;
One test case generation method for SW&HW reliability co-testing
2011 / IEEE / 978-1-61284-666-8
By: Zhanyong Ren; Qihua Wang; Chenguang Hou;
A collaboration-based testing model for composite components
2011 / IEEE / 978-1-4244-9698-3
By: Hien Le;
Automatic Generation of Fast and Certified Code for Polynomial Evaluation
2011 / IEEE / 978-1-4244-9457-6
By: Revy, G.; Mouilleron, C.;
Flocq: A Unified Library for Proving Floating-Point Algorithms in Coq
2011 / IEEE / 978-1-4244-9457-6
By: Boldo, S.; Melquiond, G.;
The process of requirement analysis about military software system testing
2011 / IEEE / 978-1-61284-666-8
By: Bin Liu; Qing Zhou; Xiaoqi Xing; Zhengwei Yu;
Extracting behavior and dynamically generated hierarchy from SystemC models
2011 / IEEE / 978-1-4503-0636-2
By: Broeders, H.; van Leuken, R.;
Hybrid verificatio of temporal properties in hardware dependent software
2011 / IEEE / 978-1-4577-1490-0
By: Lettnin, D.; Rosenstiel, W.;
A practical approach to assertion testing framework based on inner class
2011 / IEEE / 978-1-4244-9698-3
By: Song-Tao Guo; Guodong Qu; Hongqun Zhang;
A simple scheme for termination detection in delay tolerant networks
2011 / IEEE / 978-1-61284-486-2
By: Karmakar, S.; Katiyar, S.;
Design and verification of secure channel based on UMLsec
2011 / IEEE / 978-1-61284-486-2
By: Ling Shen;
Conformance Verification between Web Service Choreography and Implementation Using Learning and Model Checking
2011 / IEEE / 978-1-4577-0842-8
By: Surarerks, A.; Aoki, T.; Pacharoen, W.; Bhattarakosol, P.;
On the Verification of Behavioral and Probabilistic Web Services Using Transformation
2011 / IEEE / 978-1-4577-0842-8
By: Bentahar, J.; Oghabi, G.; Benharref, A.;
BAM: A Requirements Validation and Verification Framework for Business Process Models
2011 / IEEE / 978-1-4577-0754-4
By: Witt, S.; Feja, S.; Speck, A.;
Generative Experimentation and Social Simulation: Exploring Gaming for Model Verification and Validation
2011 / IEEE / 978-1-4577-0644-8
By: Barlow, M.; Hock Chuan Lim; Stocker, R.; Larkin, H.;
Verifying scheduling point constraints with model checking
2011 / IEEE / 978-1-61284-486-2
By: Gangyong Jia; Wei Sheng; Xuehai Zhou; Li Xi;
Runtime Verification of Domain-Specific Models of Physical Characteristics in Control Software
2011 / IEEE / 978-1-4577-0780-3
By: Aksit, M.; Sozer, H.; de Roo, A.;
Comprehensive Two-Level Analysis of Static and Dynamic RBAC Constraints with UML and OCL
2011 / IEEE / 978-1-4577-0780-3
By: Gogolla, M.; Sohr, K.; Kuhlmann, M.;
Design and Performance of a Scalable, Parallel Statistics Toolkit
2011 / IEEE / 978-1-61284-425-1
By: Thompson, D.; Pebay, P.; Mascarenhas, A.; Bennett, J.;
Automatic generation of SPIN model checking code from UML activity diagram and its application to Web application design
2011 / IEEE / 978-89-88678-47-3
By: Wasaki, K.; Yamada, Y.;
Building a Fault Tolerant MPI Application: A Ring Communication Example
2011 / IEEE / 978-1-61284-425-1
By: Hursey, J.; Graham, R.L.;
Large Volume Testing for Executable Formal Specification Using Hadoop
2011 / IEEE / 978-1-61284-425-1
By: Kusakabe, S.;
VIAF: Verification-Based Integrity Assurance Framework for MapReduce
2011 / IEEE / 978-1-4577-0836-7
By: Yongzhi Wang; Jinpeng Wei;
Modelling, Verification and Synthesis of Two-Tier Hierarchical Fixed-Priority Preemptive Scheduling
2011 / IEEE / 978-1-4577-0643-1
By: Pettersson, P.; A sberg, M.; Nolte, T.;
Verifying Web Services Composition based on LTL and colored Petri Net
2011 / IEEE / 978-1-4244-9718-8
By: Jihan Zhu; Guangquan Zhang; Kan Zhang;
Unit test case design metrics in test driven development
2011 / IEEE / 978-1-4244-9796-6
By: Shrivastava, D.P.; Jain, R.C.;
The Case for Software Health Management
2011 / IEEE / 978-1-4577-0713-1
By: Srivastava, A.N.; Schumann, J.;
Health monitoring for software security
2011 / IEEE / 978-1-4244-9827-7
By: Michael, C.C.;
Formal analysis and verification on a secure microkernel
2011 / IEEE / 978-1-61284-722-1
By: Xuying Zhao; Xiaokun Zhang;
Positive effects of utilizing relationships between inconsistencies for more effective inconsistency resolution: NIER track
2011 / IEEE / 978-1-4503-0445-0
By: Reder, A.; Nohrer, A.; Egyed, A.;
Inference of field initialization
2011 / IEEE / 978-1-4503-0445-0
By: Spoto, F.; Ernst, M.D.;
Building and using pluggable type-checkers
2011 / IEEE / 978-1-4503-0445-0
By: Muslu, K.; Ernst, M.D.; Dietzel, S.; Dietl, W.; Schiller, T.W.;
Towards architectural information in implementation: NIER track
2011 / IEEE / 978-1-4503-0445-0
By: Hansen, K.M.; Christensen, H.B.;
Dealing with Test Automation Debt at Microsoft
2011 / IEEE / 978-1-4577-0980-7
By: Hartmann, J.;
Aspect-Oriented Security and Exception Handling within an Object Oriented System
2011 / IEEE / 978-1-4577-0980-7
By: Millham, R.; Dogbe, E.;
Improving requirements quality using essential use case interaction patterns
2011 / IEEE / 978-1-4503-0445-0
By: Grundy, J.; Hosking, J.; Kamalrudin, M.;
Symbolic model checking of software product lines
2011 / IEEE / 978-1-4503-0445-0
By: Schobbens, P.; Heymans, P.; Classen, A.; Legay, A.;
DyTa: dynamic symbolic execution guided with static verification results
2011 / IEEE / 978-1-4503-0445-0
By: Xi Ge; Tillmann, N.; Tao Xie; Taneja, K.;
Characterizing the differences between pre- and post- release versions of software
2011 / IEEE / 978-1-4503-0445-0
By: Kivett, R.; Li, P.L.; Ko, A.J.; Murphy, B.; Nagappan, N.; Sung-eok Jeon; Zhiyuan Zhan;
Mining parametric specifications
2011 / IEEE / 978-1-4503-0445-0
By: Rosu, G.; Feng Chen; Choonghwan Lee;
Block-based atomicity to simplify the verification of distributed applications
2011 / IEEE / 978-1-4244-9789-8
By: Al Maghayreh, E.;
Research on algorithm recognition based on characteristic expression
2011 / IEEE / 978-1-61284-722-1
By: Lv Hong; Fang xia;
Model projection: simplifying models in response to restricting the environment
2011 / IEEE / 978-1-4503-0445-0
By: Androutsopoulos, K.; Zheng Li; Lano, K.; Harman, M.; Gold, N.; Clark, D.; Binkley, D.;
An accreditation method of complicated simulation system based on NN
2011 / IEEE / 978-1-4244-8165-1
By: Dong-yang Zhang; Hao He; Lin-wei Xu; Xing An; Gang Li;
Towards an Axiomatic Verification System for JavaScript
2011 / IEEE / 978-1-4577-1487-0
By: Zongyan Qiu; Munro, M.; Wei Xiong; Chawdhary, A.; Shengchao Qin; Huibiao Zhu;
A model-driven engineering approach to formal verification of PLC programs
2011 / IEEE / 978-1-4577-0018-7
By: de Queiroz, M.H.; Farines, J.; Cregut, X.; Vernadat, F.; Carpes, A.M.M.; da Rocha, V.G.;
User study of the improved Helios voting system interfaces
2011 / IEEE / 978-1-4577-1183-1
By: Olembo, M.M.; Kauer, M.; Karayumak, F.; Volkamer, M.; Volk, T.;
Model-checking behavioral programs
2011 / IEEE / 978-1-4503-0714-7
By: Marron, A.; Lampert, R.; Harel, D.; Weiss, G.;
Precise control flow reconstruction using Boolean logic
2011 / IEEE / 978-1-4503-0714-7
By: Reinbacher, T.; Brauer, J.;
Safety-assured development of the GPCA infusion pump software
2011 / IEEE / 978-1-4503-0714-7
By: Insup Lee; Sokolsky, O.; Ayoub, A.; BaekGyu Kim; Jetley, R.; Yi Zhang; Jones, P.;
Cyber-Physical Systems Based Modeling of Dependability of Complex Network Systems
2011 / IEEE / 978-1-4577-0979-1
By: Ravindran, K.;
Software certification experience in the Canadian nuclear industry: Lessons for the future
2011 / IEEE / 978-1-4503-0714-7
By: Wassyng, A.; Maibaum, T.; Lawford, M.;
Dynamic scheduling algorithm and its schedulability analysis for certifiable dual-criticality systems
2011 / IEEE / 978-1-4503-0714-7
By: Soontae Kim; Taeju Park;
A Method to Generate Verification Condition Generator
2011 / IEEE / 978-1-4577-1487-0
By: Yiyun Chen; Yang Zhang; Zhaopeng Li;
Matching logic: a new program verification approach (NIER track)
2011 / IEEE / 978-1-4503-0445-0
By: Rosu, G.; Stefanescu, A.;
Secure DHCPv6 that uses RSA authentication integrated with Self-Certified Address
2011 / IEEE / 978-1-4577-1035-3
By: Xiaojun Zhang; Hao Ma; Zhiyang Su; Bei Zhang;
Proximity-based traceability: An empirical validation using ranked retrieval and set-based measures
2011 / IEEE / 978-1-4577-1076-6
By: Hayes, J.H.; Wei-Keat Kong;
An AADL-Based Modeling Method for ARINC653-Based Avionics Software
2011 / IEEE / 978-0-7695-4439-7
By: Lu Zou; Yongwang Zhao; Dianfu Ma; Ying Wang; Xianqi Zhao;
Interactive requirements validation for reactive systems through virtual requirements prototype
2011 / IEEE / 978-1-4577-0959-3
By: Aceituna, D.; Seok-Won Lee; Hyunsook Do;
SoftWare IMmunization (SWIM) - A Combination of Static Analysis and Automatic Testing
2011 / IEEE / 978-0-7695-4439-7
By: Landwehr, J.; Palframan, J.; Li, J.J.;
Selecting Answers to Questions from Web Documents by a Robust Validation Process
2011 / IEEE / 978-1-4577-1373-6
By: Grau, B.; Grappy, A.; Vilnat, A.; Robba, I.; Ligozat, A.-L.; Falco, M.-H.;
Cross-layer analysis, testing and verification of automotive control software
2011 / IEEE / 978-1-4503-0714-7
By: Ramesh, S.; Chakraborty, S.; Broy, M.; Pree, W.; Resmerita, S.; Satpathy, M.;
Inheritance and Modularity in Specification and Verification of OO Programs
2011 / IEEE / 978-1-4577-1487-0
By: Qiu Zongyan; Ali, H.; Liu Yijing;
Interleaved Programs and Rely-Guarantee Reasoning with ITL
2011 / IEEE / 978-1-4577-1242-5
By: Schellhorn, G.; Reif, W.; Ernst, G.; Tofan, B.;
Safe Composition of Configuration Knowledge-Based Software Product Lines
2011 / IEEE / 978-1-4577-2187-8
By: Gheyi, R.; Borba, P.; Teixeira, L.;
Fully-automatic derivation of exact program-flow constraints for a tighter worst-case execution-time analysis
2011 / IEEE / 978-1-4577-0801-5
By: Marref, A.;
Software synthesis in the ESL methodology for multicore embedded systems
2011 / IEEE / 978-1-4577-0801-5
By: Hyunok Oh; Soonhoi Ha;
Analysing a Batch Range Proof to Address a Security Concern
2011 / IEEE / 978-1-4577-0974-6
By: Feng Bao; Kun Peng;
Research on Equal Symmetric Distributed Fault-tolerant Architecture and Strategy for Parallel Satellite System
2011 / IEEE / 978-1-4577-0974-6
By: Hao Zhou; Jingfei Jiang;
Improvement of Assertion-Based Verification through the generation of proper test sequences
2011 / IEEE / 978-2-9530504-4-8
By: Pierre, L.; Damri, L.;
Integrating Early V&V Support to a GSE Tool Integration Platform
2011 / IEEE / 978-1-4577-1839-7
By: Pesola, J.-P.; Bendas, D.; Parviainen, P.; Eskeli, J.; Tanner, H.;
The W Model for Component-Based Software Development
2011 / IEEE / 978-1-4577-1027-8
By: Tran, C.M.; Taweel, F.M.; Kung-Kiu Lau;
Model-Driven Development of High-Integrity Distributed Real-Time Systems Using the End-to-End Flow Model
2011 / IEEE / 978-1-4577-1027-8
By: Zamorano, J.; Asensio, E.; Gutierrez, J.J.; Perez, H.; de la Puente, J.A.;
A Model-Based Approach for Reconciliation of Polychronous Execution Traces
2011 / IEEE / 978-1-4577-1027-8
By: Mallet, F.; Deantoni, J.; Garces, K.;
Exploiting Cloud Computing for Algorithm Development
2011 / IEEE / 978-1-4577-1827-4
By: Cox, S.J.; Djidjeli, K.; Hart, E.E.; Johnston, S.J.; O'Brien, N.S.;

Next Page
Return To Top