Formal Methods

Related Fields

Parent Topic:

Theoretical computer science , Computer Science , Software Engineering , Programming language

Child Topic:

POPLmark challenge , Refinement calculus , Circular dependency , Vienna Development Method , Postcondition , Partial order reduction , Formal verification , Specification language , Intelligent verification , Language Of Temporal Ordering Specification , Peopleware , RM-ODP , Java Modeling Language , Scenario , Duration calculus , Software Engineering Process Group , Behavior Trees , Memory safety , Manufacturing operations , Service virtualization , Abstraction principle , Model checking , Fagan inspection , Domain analysis , Assertion , Software fault tolerance , Boole's expansion theorem , Object Constraint Language , 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