Formal Methods Category

Information About ^{^™}

Formal Methods Category


Abstract Interpretation	Abstraction Model Checking
Abstract State Machines	Algorithm Characterizations
Algorithm Examples	And-inverter Graph
Assertion Computing	Asynchronous Systems
Automated Theorem Proving	Bcs-facs
Binary Moment Diagram	Bisimulation
B-method	Boolean Satisfiability Problem
Bug Bash	Ca---eztest
Categorical Set Theory	Cleanroom Software Engineering
Computer-assisted Proof	Concurrency Semantics
Correctness	Daedalus
Dependability	Dream Software
Dynamic Program Analysis	Effect System
Extended Finite State Machine	Finite State Machine
Formal Aspects Of Computing	Formal Equivalence Checking
Formal Methods	Formal Methods Europe
Formal Semantics Of Programming Languages	Formal Specification
Formal System	Formal Verification
Fortia	Guard Computing
High And Low Level Description	Hoare Logic
Ibm Oliver Cics Interactive Test---debug	International Symposium On Logic-based Program Synthesis And Transformation
Interval Temporal Logic	Invariant Based Programming
Invariant Computer Science	Ioco
Isabelle Theorem Prover	Key
Lambda Calculus	Life-critical System
Logic In Computer Science	Loop Invariant
Lustre Programming Language	Model Checking
Mondex	Object Invariant
Oracle Unified Method	Partial Order Reduction

	CATEGORIES ABOUT FORMAL METHODS

	formal methods

	software development philosophiesformal methods

	software development philosophies

	theoretical computer science

	software engineering

	software development

	software testing

	computer security

	data modeling

	logic in computer science

	mathematics of computing