ABZ ConferenceAbstract state machinesAlgebraic semantics (computer science)Algebraic specificationAlgorithm characterizationsApplicative universal grammarAssertion (software development)Asynchronous systemAutomated proof checkingAutomated theorem provingB-MethodBHDLBigraphBinary moment diagramBisimulationBoolean satisfiability problemBusiness process validationCategorical set theoryCompCertComputer-assisted proofConcurrency semanticsConstruction and Analysis of Distributed ProcessesContinued process verificationCritical process parametersCritical quality attributesDREAM (software)DependabilityDesign space verificationDynamic timing verificationE-LOTOSExtended finite-state machineExtended static checkingFormal equivalence checkingFormal methodsFormal specificationFormal verificationGödel logicHigh- and low-levelHindley–Milner type system
subject
Abstract data typesAutomated theorem provingFormal methods organizationsFormal methods peopleFormal methods publicationsFormal methods terminologyFormal methods toolsFormal specificationLogical calculiModel checkingModels of computationProgram analysisProgram derivationProgram logicSatisfiability problemsTuring machineZ notation
broader
Wikipage page ID
Wikipage revision ID
681,414,307
type
label
Formal methods
@en
sameAs
broader
prefLabel
Formal methods
@en