Formal Methods

Related Fields


Parent Topic:

Computer Science, Software Engineering, Programming language

Child Topic:

POPLmark challenge, Refinement calculus, Circular dependency, Vienna Development Method, Postcondition, Intelligent verification, Language Of Temporal Ordering Specification, Partial order reduction, Formal verification, Specification language, Peopleware, RM-ODP, Java Modeling Language, Scenario, Duration calculus, Software Engineering Process Group, Behavior Trees, Memory safety, Manufacturing operations, Service virtualization, Model checking, Abstraction principle, Fagan inspection, Domain analysis, Software fault tolerance, Boole's expansion theorem, Object Constraint Language, Assertion, Precondition, Alloy Analyzer, Feature-driven development, Abstract state machines, Cleanroom software engineering, Automated theorem proving, Runtime verification, Software peer review, White-box testing, Life-critical system, Goal modeling, Programming language specification, Program derivation, Trusted computing base, Automated proof checking, Don't repeat yourself, Refinement, Formal specification, Interval temporal logic, Automated reasoning, Proof assistant, Lustre, Z notation, SWAT Team, Compiler correctness, Resource-oriented architecture, UML tool, B-Method, Software brittleness, Serviceability, Correctness, Architectural pattern, Change control board, Design by contract, Software engineering professionalism

Top Authors


Paper Recommendation
1976 A Complexity Measure

1996 The B-book: Assigning Programs To Meanings

1976 Abstraction and Verification in Alphard

1999 Principles of Program Analysis

2002 Modeling With A Sense of Purpose

1994 Human-Computer interaction

1993 Larch: Languages and Tools For Formal Specification

1995 Free Choice Petri Nets

1996 Handbook of Software Reliability Engineering

1976 An introduction To The Construction and Verification of Alphard Programs

2000 Model Checking JAVA Programs Using Java Pathfinder

1984 The Program Dependence Graph in A Software Development Environment

1987 Comparing The Effectiveness of Software Testing Strategies

2002 Modeling and Simulation of Genetic Regulatory Systems: A Literature Review

1986 The Theory of Database Concurrency Control

2006 Formal Methods For Components and Objects

1997 The Model Checker SPIN

1985 Software Engineering Concepts

1989 The Complexity of Perfect Zero- Knowledge

1981 Algorithms For Acyclic Database Schemes