This HTML5 document contains 364 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dbthttp://dbpedia.org/resource/Template:
dbpedia-elhttp://el.dbpedia.org/resource/
n7http://spinroot.com/spin/Doc/Book_extras/
wikipedia-enhttp://en.wikipedia.org/wiki/
dbrhttp://dbpedia.org/resource/
n37http://vasy.inria.fr/ftp/publications/cadp/
n39http://commons.wikimedia.org/wiki/Special:FilePath/
dbpedia-frhttp://fr.dbpedia.org/resource/
dcthttp://purl.org/dc/terms/
rdfshttp://www.w3.org/2000/01/rdf-schema#
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
n12https://onlinelibrary.wiley.com/doi/10.1002/
n36http://dbpedia.org/resource/File:
dbphttp://dbpedia.org/property/
xsdhhttp://www.w3.org/2001/XMLSchema#
dbpedia-ukhttp://uk.dbpedia.org/resource/
dbohttp://dbpedia.org/ontology/
dbpedia-vihttp://vi.dbpedia.org/resource/
dbpedia-pthttp://pt.dbpedia.org/resource/
dbpedia-skhttp://sk.dbpedia.org/resource/
dbpedia-jahttp://ja.dbpedia.org/resource/
dbchttp://dbpedia.org/resource/Category:
dbpedia-dehttp://de.dbpedia.org/resource/
n35http://patterns.projects.cis.ksu.edu/documentation/
n16https://web.archive.org/web/20110719222236/http:/patterns.projects.cis.ksu.edu/documentation/
dbpedia-ruhttp://ru.dbpedia.org/resource/
wikidatahttp://www.wikidata.org/entity/
yago-reshttp://yago-knowledge.org/resource/
dbpedia-globalhttps://global.dbpedia.org/id/
n18http://homepages.inf.ed.ac.uk/jcb/Research/
dbpedia-ithttp://it.dbpedia.org/resource/
provhttp://www.w3.org/ns/prov#
foafhttp://xmlns.com/foaf/0.1/
n8http://cadp.inria.fr/resources/evaluator/
dbpedia-trhttp://tr.dbpedia.org/resource/
dbpedia-fahttp://fa.dbpedia.org/resource/
dbpedia-eshttp://es.dbpedia.org/resource/
freebasehttp://rdf.freebase.com/ns/
n19https://link.springer.com/chapter/10.1007/
owlhttp://www.w3.org/2002/07/owl#

Statements

Subject Item
dbr:Model_checking
owl:sameAs
dbpedia-uk:Перевірка_моделі dbpedia-de:Model_Checking dbpedia-it:Model_checking dbpedia-fa:وارسی_مدل dbpedia-el:Έλεγχος_μοντέλων freebase:m.01vjk8 dbpedia-tr:Model_kontrolü dbpedia-global:YkpJ dbpedia-sk:Overovanie_modelov wikidata:Q1569697 dbpedia-es:Verificación_de_modelos dbpedia-ru:Проверка_моделей dbpedia-vi:Model_checking dbpedia-ja:モデル検査 dbpedia-fr:Vérification_de_modèles yago-res:Model_checking dbpedia-pt:Verificação_de_modelos
rdfs:label
モデル検査 Model checking Model Checking Verificação de modelos Проверка моделей Έλεγχος μοντέλων Model checking Vérification de modèles Verificación de modelos Перевірка моделі
foaf:depiction
n39:Two_One_G_(cropped).jpg
prov:wasDerivedFrom
wikipedia-en:Model_checking?oldid=1296414329&ns=0
dbo:description
verifying whether a finite-state model meets a given specification 有限状態モデルがある仕様を満たすかを検証すること verificar si un model d'estat finit compleix una especificació determinada Verifikation einer Systembeschreibung gegen eine Spezifikation
dbo:thumbnail
n39:Two_One_G_(cropped).jpg?width=300
dbo:wikiPageExternalLink
n7: n8:rafmc.html n12:9780470050118.ecse247 n16:patterns.shtml n18:bradfield-stirling-HPA-mu-intro.ps.gz n19:978-3-540-69850-0_2 n35:patterns.shtml n37:Mateescu-Sighireanu-03.pdf
dbo:wikiPageWikiLink
dbr:Libdmc dbr:E._A._Emerson dbr:Treewidth dbr:Hardware_description_language dbr:Structure_(mathematical_logic) dbr:FDR2 dbr:Binary_decision_diagram dbr:Propositional_calculus dbr:Decision_problem dbr:Turing_Award dbr:State_explosion_problem dbr:Software_verification dbr:Hybrid_system dbr:Propositional_satisfiability dbr:Edge_(graph_theory) dbr:Temporal_logic dbr:Computation_tree_logic dbr:Zing_(model-checker) dbr:Linear_temporal_logic dbr:Alloy_(specification_language) dbr:Cambridge_University_Press dbr:Boolean_satisfiability_problem dbr:ISP_Formal_Verification_Tool dbr:CPAchecker dbr:Partial_order_reduction dbr:SPIN_model_checker dbr:Counterexample dbr:Finite_state_machine dbr:Binary_decision_diagrams dbr:Automated_planning_and_scheduling dbr:BLAST_model_checker dbr:NuSMV dbr:Iterative_deepening_depth-first_search dbr:Automated_theorem_proving dbr:Relational_database dbr:Leslie_Lamport dbr:Abstract_interpretation dbr:Büchi_automaton dbr:Romeo_Model_Checker dbr:Software dbr:Algorithm dbr:Static_code_analysis dbr:UML_activity_diagram dbr:Discrete_system dbr:Embedded_system dbr:Crash_(computing) dbr:Don't-care_term dbr:E._M._Clarke dbr:Amir_Pnueli dbr:Java_Pathfinder dbr:Artificial_intelligence dbr:Free_variable dbr:Vertex_(graph_theory) dbr:Graph_search dbr:Correctness_(computer_science) dbr:CADP dbr:AC0_(complexity) dbr:Interpretation_(logic) dbr:Node_(computer_science) dbr:Bounded_expansion dbr:TLA+ dbr:Formal_specification dbr:Communicating_sequential_processes dbr:Software_system dbr:Degree_(graph_theory) dbr:Refinement_(computing) dbr:Petri_net dbr:Algebra_of_Communicating_Processes dbr:Message_Passing_Interface dbr:TAPAAL_Model_Checker dbr:Microsoft dbr:First-order_logic dbr:Mutual_exclusion dbr:List_of_model_checking_tools dbr:Monadic_second-order_logic dbr:ECLAIR dbr:J._Sifakis dbr:Computability_theory_(computer_science) dbr:TAPAs_model_checker dbr:Livelock dbr:Logic n36:Two_One_G_(cropped).jpg dbc:Model_checking dbr:Formal_verification dbr:Directed_graph dbr:MIT_Press dbr:Computer_hardware dbr:Computational_complexity_theory dbr:MCRL2 dbr:Circuit_class dbr:Uppaal_Model_Checker dbr:PRISM_(model_checker) dbr:Program_analysis_(computer_science) dbr:Boost_Software_License dbr:Satplan dbr:Petri_Nets dbr:Computer_science dbc:Logic_in_computer_science dbr:Finite-state_machine dbr:PAT_(model_checker) dbr:Enumeration_algorithm
dct:subject
dbc:Model_checking dbc:Logic_in_computer_science
foaf:isPrimaryTopicOf
wikipedia-en:Model_checking
dbp:wikiPageUsesTemplate
dbt:Cite_journal dbt:About dbt:Main dbt:Cite_web dbt:Reflist dbt:Short_description dbt:Cmn dbt:Cn dbt:Cite_book dbt:Refend dbt:Refbegin dbt:Program_analysis dbt:Harvid
Subject Item
dbr:Temporal_logic_in_finite-state_verification
dbo:wikiPageRedirects
dbr:Model_checking
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
wikipedia-en:Model_checking
foaf:primaryTopic
dbr:Model_checking
Subject Item
dbr:Fragment_(logic)
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:Fair_computational_tree_logic
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:Illinois_Security_Lab
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:Helmut_Veith
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:Christel_Baier
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:SMV
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:True_quantified_Boolean_formula
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:Moshe_Vardi
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:Büchi_automaton
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:Craig_interpolation
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:Formal_methods
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:Static_timing_analysis
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:List_of_terms_relating_to_algorithms_and_data_structures
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:Marta_Kwiatkowska
dbo:academicDiscipline
dbr:Model_checking
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:Belief_revision
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:First-order_logic
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:Automated_theorem_proving
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:IAR_Systems
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:Paris_Kanellakis_Award
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:Alloy_(specification_language)
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:Courcelle's_theorem
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:Modal_μ-calculus
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:Partial_order_reduction
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:Linear_temporal_logic_to_Büchi_automaton
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:State_space_enumeration
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:Abstract_interpretation
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:Computation_tree_logic
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:Computer-assisted_proof
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:Culture_of_Greece
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:Embedded_system
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:BMC
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:Static_program_analysis
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:Concurrency_(computer_science)
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:Model-based_testing
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:Kripke_structure_(model_checking)
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:BLAST_model_checker
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:Cleanroom_software_engineering
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:Java_Pathfinder
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:Extended_static_checking
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:Binary_decision_diagram
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:SPIN_model_checker
dbo:genre
dbr:Model_checking
dbo:wikiPageWikiLink
dbr:Model_checking
dbp:genre
dbr:Model_checking
Subject Item
dbr:Denotational_semantics
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:Electronic_design_automation
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:List_of_tools_for_static_code_analysis
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:Symbolic_artificial_intelligence
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:CPAchecker
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:CPN-AMI
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:CTL*
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:Greg_Morrisett
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:Orna_Grumberg
dbo:knownFor
dbr:Model_checking
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:Transition_system
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:List_of_Carnegie_Mellon_University_people
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:Rajeev_Alur
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:Runtime_verification
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:Libdmc
dbo:genre
dbr:Model_checking
dbo:wikiPageWikiLink
dbr:Model_checking
dbp:genre
dbr:Model_checking
Subject Item
dbr:List_of_pioneers_in_computer_science
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:Semantics_(computer_science)
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:Amir_Pnueli
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:David_May_(computer_scientist)
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:E._Allen_Emerson
dbo:knownFor
dbr:Model_checking
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:Edmund_M._Clarke
dbo:knownFor
dbr:Model_checking
dbo:wikiPageWikiLink
dbr:Model_checking
dbp:knownFor
dbr:Model_checking
Subject Item
dbr:Joseph_Sifakis
dbo:knownFor
dbr:Model_checking
dbo:wikiPageWikiLink
dbr:Model_checking
dbp:knownFor
dbr:Model_checking
Subject Item
dbr:Correctness_(computer_science)
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:Turing_Award
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:Automated_planning_and_scheduling
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:Boolean_satisfiability_problem
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:Omega_language
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:Mathematical_logic
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:Loop_unrolling
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:Harvard_John_A._Paulson_School_of_Engineering_and_Applied_Sciences
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:Simulink
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:Abstraction_(computer_science)
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:Property_Specification_Language
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:National_Technical_University_of_Athens
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:Nets_within_Nets
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:Romeo_Model_Checker
dbo:genre
dbr:Model_checking
dbo:wikiPageWikiLink
dbr:Model_checking
dbp:genre
dbr:Model_checking
Subject Item
dbr:And-inverter_graph
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:List_of_mathematical_logic_topics
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:List_of_model_checking_tools
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:TAPAAL_Model_Checker
dbo:genre
dbr:Model_checking
dbo:wikiPageWikiLink
dbr:Model_checking
dbp:genre
dbr:Model_checking
Subject Item
dbr:Test_design
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:PAT_(model_checker)
dbo:genre
dbr:Model_checking
dbo:wikiPageWikiLink
dbr:Model_checking
dbp:genre
dbr:Model_checking
Subject Item
dbr:PRISM_model_checker
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:SimGrid
dbo:genre
dbr:Model_checking
Subject Item
dbr:Formal_verification
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:Distributed_computing
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:Graph_rewriting
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:SLAM_project
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:Consistency_model
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:List_of_Duke_University_people
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:ISP_Formal_Verification_Tool
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:Nested_word
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:OpenComRTOS
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:Zing
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:Thomas_W._Reps
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:List_of_University_of_Texas_at_Austin_faculty
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:Glossary_of_artificial_intelligence
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:Joost-Pieter_Katoen
dbo:academicDiscipline
dbr:Model_checking
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:DPLL_algorithm
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:Symbolic_trajectory_evaluation
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:Dynamic_epistemic_logic
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:Region_(model_checking)
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:List_of_computer_scientists
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:Gerard_J._Holzmann
dbo:academicDiscipline
dbr:Model_checking
dbo:wikiPageWikiLink
dbr:Model_checking
dbp:fields
dbr:Model_checking
Subject Item
dbr:Behavior_tree
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:Computer_Aided_Verification
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:Concolic_testing
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:Conference_on_Implementation_and_Application_of_Automata
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:Constraint_automaton
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:Construction_and_Analysis_of_Distributed_Processes
dbo:genre
dbr:Model_checking
dbo:wikiPageWikiLink
dbr:Model_checking
dbp:genre
dbr:Model_checking
Subject Item
dbr:Hybrid_automaton
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:Rebeca_(programming_language)
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:Red_Lizard_Software
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:Bounded_expansion
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:Logic_of_graphs
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:Infer_Static_Analyzer
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:Generalized_Büchi_automaton
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:David_L._Dill
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:Linear_time_property
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:ECLAIR
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:Quotient_filter
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:Mihaela_Sighireanu
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:SIGNAL_(programming_language)
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:Semi-deterministic_Büchi_automaton
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:Uppaal_Model_Checker
dbo:genre
dbr:Model_checking
dbo:wikiPageWikiLink
dbr:Model_checking
dbp:genre
dbr:Model_checking
Subject Item
dbr:Treiber_stack
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:Widening_(computer_science)
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:Patricia_Bouyer-Decitre
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:Protocol_engineering
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:Reachability_analysis
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:Doron_A._Peled
dbo:academicDiscipline
dbr:Model_checking
dbo:wikiPageWikiLink
dbr:Model_checking
dbp:field
dbr:Model_checking
Subject Item
dbr:Runtime_predictive_analysis
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:Mariëlle_Stoelinga
dbo:academicDiscipline
dbr:Model_checking
Subject Item
dbr:Principles_of_Model_Checking
dbo:nonFictionSubject
dbr:Model_checking
dbo:wikiPageWikiLink
dbr:Model_checking
dbp:subject
dbr:Model_checking
Subject Item
dbr:Symbolic_model_checking
dbo:wikiPageRedirects
dbr:Model_checking
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:Model_checker
dbo:wikiPageRedirects
dbr:Model_checking
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:Clock_(model_checking)
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:Difference_bound_matrix
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:Metric_interval_temporal_logic
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:Reactive_synthesis
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:Signal_(model_checking)
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:Timed_propositional_temporal_logic
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:Timed_word
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:Symbolic_model_verification
dbo:wikiPageRedirects
dbr:Model_checking
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:NuSMV
dbo:genre
dbr:Model_checking
dbo:wikiPageWikiLink
dbr:Model_checking
dbp:genre
dbr:Model_checking
Subject Item
dbr:Anca_Muscholl
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:Game_semantics
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:International_Conference_on_Reachability_Problems
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:Reachability_problem
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:TLA+
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:Javier_Esparza
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:Kristin_Yvonne_Rozier
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:Ofer_Strichman
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:Descriptive_Complexity
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:Murφ
dbo:genre
dbr:Model_checking
dbo:wikiPageWikiLink
dbr:Model_checking
dbp:genre
dbr:Model_checking
Subject Item
dbr:Temporal_Logic_in_Finite-State_Verification
dbo:wikiPageRedirects
dbr:Model_checking
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:Symbolic_Model_Verification
dbo:wikiPageRedirects
dbr:Model_checking
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:Model-checker
dbo:wikiPageRedirects
dbr:Model_checking
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:Model-checking
dbo:wikiPageRedirects
dbr:Model_checking
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:Model_checkers
dbo:wikiPageRedirects
dbr:Model_checking
dbo:wikiPageWikiLink
dbr:Model_checking
Subject Item
dbr:Modelchecking
dbo:wikiPageRedirects
dbr:Model_checking
dbo:wikiPageWikiLink
dbr:Model_checking