Language: English

Jump To : Overview Titles Subjects

Computer software - Verification.

Overview

Works:	15 works in 15 publications in 15 languages

Titles

Software verification and analysis = an integrated, hands-on approach / by: (Electronic resources)

Principles of model checking by: (Electronic resources)

Data flow analysis = theory and practice / by: (Electronic resources)

Verification, validation and testing in software engineering by: (Electronic resources)

Test pattern generation using boolean proof engines by: (Electronic resources)

Verification of infinite-state systems with applications to security by: (Electronic resources)

Formal modeling = actors, open systems, biological systems : essays dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday / by: (Electronic resources)

Principles of the Spin model checker by: (Electronic resources)

Rigorous software development = an introduction to program verification / by: (Electronic resources)

Debugging at the electronic system level by: (Electronic resources)

Subjects

Electronics and Microelectronics, Instrumentation.

Data flow computing.

Formal methods (Computer science)

Multiagent systems.

Computer software- Validation.

Symbolic and Algebraic Manipulation.

Computer Communication Networks.

Software engineering.

Algebra, Boolean.

Theory of Computation.

Programming Techniques.

Computer programming.

Mathematical Logic and Formal Languages.

Logics and Meanings of Programs.

Debugging in computer science.

Computer simulation.

Management of Computing and Information Systems.

Computer security

Artificial Intelligence (incl. Robotics)

Computer systems- Verification.

Rewriting systems (Computer science)

System theory- Mathematical models

Computer hardware description languages.

Computer software- Development.

Engineering.

System theory- Security measures

Computer algorithms.

Computing Methodologies.

Integrated circuits- Verification.

Computer software- Verification.

Compilers (Computer programs)

Programming Languages, Compilers, Interpreters.

Processor Architectures.

Computation by Abstract Devices.

Software Engineering.

Software Engineering/Programming and Operating Systems.

Circuits and Systems.

Algorithm Analysis and Problem Complexity.

SPIN (Computer file)

Operating Systems.

Computer software- Testing.

Systems engineering.

System Performance and Evaluation.

Multitasking (Computer science)

Computer Science.