Login
中文
Formal Methods
Related Fields
Anything in here will be replaced on browsers that support the canvas element
Real-time computing
Information security
Unified Modeling Language
Software system
Computer Science
Model checking
Petri net
Verification
Application software
Software Testing
Software development
Formal specification
Computer hardware
Satisfiability
Formal verification
Communications protocol
Programming
Logic
Object-oriented programming
Theory of computation
Verification and validation
Cryptographic protocol
Automated theorem proving
Distributed computing
Software Engineering
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:
Mike Hinchey
Jonathan P Bowen
Betty H C Cheng
Gerald C Gannod
Kaisa Sere
Peter J F Lucas
Sandeep S Kulkarni
Philippe Palanque
Perry Alexander
Mats P E Heimdahl
Jinyoung Choi
Juan Bicarregui
Antonella Santone
Manfred Broy
Cliff B Jones
Richard F Paige
Tommi Mikkonen
Kokichi Futatsugi
Riccardo Sisto
Francesco Tiezzi
Michael Leuschel
Murali Sitaraman
Marcello M Bonsangue
Stefania Gnesi
Mieke Massink
Steven P Miller
Pallab Dasgupta
Rosario Pugliese
Peter Gorm Larsen
Ana Cavalli
Luigia Petre
Constance Heitmeyer
Peter A Lindsay
Farokh B Bastani
Guo Xie
Myla Archer
Dan Craigen
Bojan Cukic
Sei Takahashi
Kevin Lano
Joseph E Hollingsworth
Dominique Mery
Hiroshi Mochizuki
Ed Brinksma
Hussein Zedan
Joan Krone
Alessandro Cimatti
Guangquan Zhang
Christoph Brandt
Jim Woodcock
Paper Map
More
Author Map (v2)
More
Mentorship Map
More
Mentorship Hierachical Map
More
Paper Recommendation