eslavco
/
iris
/
Login
Register
TriplyDB
Iris Dataset
Browser
Table
SPARQL
Graphs
7
7
Services
1
1
Assets
6
6
Insights
Schema
BETA
Class frequency
Class hierarchy
Formal methods tools
Formal methods tools
Concept
http://dbpedia.org/resource/Category:Formal_methods_tools
Alloy Analyzer
KeY
TLA+
Alt-Ergo
B-Method
CPAchecker
CPN-AMI
CoreASM
ESC/Java
FSA Utilities
Fastest
Fluctuat
Frama-C
List of model checking tools
MALPAS Software Static Analysis Toolset
Perfect Developer
RAISE
Rodin tool
SPARK Toolset
Solver
Spec Sharp
subject
Model checkers
SAT solvers
SMT solvers
Theorem proving software systems
broader
Application software
related
Formal methods tools
Concept
http://dbpedia.org/resource/Category:Formal_methods_tools
Wikipage page ID
8,232,110
http://www.w3.org/2001/XMLSchema#integer
Wikipage revision ID
188,452,970
http://www.w3.org/2001/XMLSchema#integer
type
Concept
label
Formal methods tools
@en
sameAs
Q8466131
Q8466131
broader
Computer programming tools
Formal methods
Mathematical software
prefLabel
Formal methods tools
@en
wasDerivedFrom
Category:Formal_methods_tools?oldid=188452970