Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
Formats
RDF:
N-Triples
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
Other:
CSV
JSON-LD
Faceted Browser
Sparql Endpoint
About:
http://dbpedia.org/class/yago/WikicatFormalMethods
An Entity of Type:
Thing
,
from Named Graph:
http://dbpedia.org
,
within Data Space:
dbpedia.org
Property
Value
rdfs:
subClassOf
yago
:Method105660268
owl:
equivalentClass
yago-res
:wikicat_Formal_methods
is
rdf:
type
of
dbr
:Categorical_set_theory
dbr
:Production_equipment_control
dbr
:Romeo_Model_Checker
dbr
:Enterprise_modelling
dbr
:Symbolic_simulation
dbr
:Bigraph
dbr
:Denotational_semantics
dbr
:Design_by_contract
dbr
:Algebraic_semantics_(computer_science)
dbr
:Algebraic_specification
dbr
:Resolution_(logic)
dbr
:DREAM_(software)
dbr
:Dynamic_timing_verification
dbr
:Invariant-based_programming
dbr
:Invariant_(computer_science)
dbr
:Invariant_(mathematics)
dbr
:Loop_invariant
dbr
:Predicate_transformer_semantics
dbr
:CompCert
dbr
:Computer-assisted_proof
dbr
:Oracle_Unified_Method
dbr
:BHDL
dbr
:Separation_logic
dbr
:Robbins_algebra
dbr
:Model_checking
dbr
:Concurrency_semantics
dbr
:Program_derivation
dbr
:Operational_semantics
dbr
:Applicative_Universal_Grammar
dbr
:Life-critical_system
dbr
:Simulation_preorder
dbr
:Communicating_sequential_processes
dbr
:Z_User_Group
dbr
:Petri_net
dbr
:Proof-carrying_code
dbr
:Specification_(technical_standard)
dbr
:Static_program_analysis
dbr
:Strict_function
dbr
:Stuttering_equivalence
dbr
:McCarthy_91_function
dbr
:Postcondition
dbr
:Automated_theorem_proving
dbr
:CO-OPN
dbr
:Type_theory
dbr
:Language_Of_Temporal_Ordering_Specification
dbr
:Liskov_substitution_principle
dbr
:Logic_in_computer_science
dbr
:Abstract_data_type
dbr
:Algorithm_characterizations
dbr
:Formal_verification
dbr
:Abstract_state_machines
dbr
:POPLmark_challenge
dbr
:Formal_equivalence_checking
dbr
:Formal_methods
dbr
:Formal_specification
dbr
:Formal_system
dbr
:Predicative_programming
dbr
:Pumping_lemma
dbr
:QED_manifesto
dbr
:Rcos
dbr
:Refinement_(computing)
dbr
:Retrenchment_(computing)
dbr
:Hindley–Milner_type_system
dbr
:Temporal_logic
dbr
:Finite_state_transducer
dbr
:Abstract_interpretation
dbr
:Lambda_calculus
dbr
:Binary_decision_diagram
dbr
:Binary_moment_diagram
dbr
:Bisimulation
dbr
:Syntactic_methods
dbr
:Hoare_logic
dbr
:Java_Modeling_Language
dbr
:Z_notation
dbr
:Model-based_specification
dbr
:Regulated_rewriting
dbr
:Assertion_(software_development)
dbr
:Axiomatic_semantics
dbr
:B-Method
dbr
:Boolean_satisfiability_problem
dbr
:Business_process_validation
dbr
:Polyspace
dbr
:Software_development
dbr
:Read-only_right_moving_Turing_machines
dbr
:Refinement_calculus
dbr
:Π-calculus
dbr
:Loop_variant
dbr
:Lustre_(programming_language)
dbr
:Turing_machine
dbr
:Rational_Unified_Process
dbr
:Satisfiability_modulo_theories
dbr
:Static_timing_analysis
dbr
:Statistical_static_timing_analysis
dbr
:Structured_analysis
dbr
:SIGNAL_(programming_language)
dbr
:SLAM_project
dbr
:Semantics_(computer_science)
dbr
:Runtime_verification
dbr
:Vienna_Development_Method
dbr
:Finite-state_machine
dbr
:Retiming
dbr
:Verification_condition_generator
dbr
:Sneak_circuit_analysis
dbr
:State_space_enumeration
dbr
:Algorithm_examples
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 3.0 Unported License